N. Jansen
发表
Van Vuuren,
N. Jansen,
2016
.
Rob J. I. Basten,
T. Heskes,
M. Stoelinga,
2020,
Applied Sciences.
U. Topcu,
Jie Fu,
N. Jansen,
2018
.
B. Becker,
J. Katoen,
Sebastian Junges,
2018,
UAI.
Benjamin Lucien Kaminski,
J. Katoen,
N. Jansen,
2015
.
J. Katoen,
N. Jansen,
Ralf Wimmer,
2015
.
Nils Jansen,
Joost-Pieter Katoen,
Erika Ábrahám,
2014,
ATVA.
N. Jansen,
2019
.
U. Topcu,
J. Katoen,
Sebastian Junges,
2018
.
Sebastian Junges,
Nils Jansen,
Sanjit A. Seshia,
2021
.
B. Becker,
U. Topcu,
J. Katoen,
2017
.
U. Topcu,
J. Katoen,
Sebastian Junges,
2016,
AAAI Fall Symposia.
N. Jansen,
2018
.
Earl T. Barr,
S. Ratschan,
Charles Sutton,
2022
.
D. Parker,
N. Jansen,
T. D. Simão,
2022,
ArXiv.
J. Katoen,
Sebastian Junges,
N. Jansen,
2022,
Principles of Systems Design.
Thom S. Badings,
U. Topcu,
J. Katoen,
2021,
ArXiv.
Thom S. Badings,
M. Stoelinga,
Sebastian Junges,
2022,
ArXiv.
J. Imhoff,
N. Jansen,
G. Bringmann,
2013,
Marine drugs.
U. Topcu,
Sebastian Junges,
N. Jansen,
2022,
AAAI.
D. Parker,
N. Jansen,
T. D. Simão,
2022,
ArXiv.
E. Ábrahám,
J. Katoen,
Florian Corzilius,
2016
.
E. Ábrahám,
B. Becker,
J. Katoen,
2013,
QEST.
N. Jansen,
Z. Bukhsh,
H. Molegraaf,
2022,
ArXiv.
Tal Kachman,
N. Jansen,
Yannick Hogewind,
2022,
ICLR.
D. Parker,
N. Jansen,
T. D. Simão,
2022,
ArXiv.
Thom S. Badings,
A. Abate,
Licio Romao,
2022,
AAAI.
N. Jansen,
2008
.
Thom S. Badings,
U. Topcu,
J. Katoen,
2021,
International Journal on Software Tools for Technology Transfer.
Thom S. Badings,
Hasan A. Poonawala,
A. Abate,
2023,
J. Artif. Intell. Res..
N. Jansen,
T. D. Simão,
Marnix Suilen,
2023,
ArXiv.
Sebastian Junges,
N. Jansen,
Marck van der Vegt,
2023,
TACAS.
Sebastian Junges,
Nils Jansen,
Joost-Pieter Katoen,
2018,
QEST.
Sebastian Junges,
Nils Jansen,
Joost-Pieter Katoen,
2015,
TACAS.
Thom S. Badings,
M. Stoelinga,
Sebastian Junges,
2022,
CAV.
Thom S. Badings,
Hasan A. Poonawala,
M. Stoelinga,
2021,
2103.02398.
U. Topcu,
Sebastian Junges,
N. Jansen,
2020,
AAAI.
Ufuk Topcu,
Murat Cubuktepe,
Nils Jansen,
2020,
IJCAI.
U. Topcu,
J. Katoen,
Sebastian Junges,
2019,
TACAS.
Sebastian Junges,
Nils Jansen,
Joost-Pieter Katoen,
2019,
Formal Methods in System Design.
Nils Jansen,
Martin Tappler,
Bettina Könighofer,
2020,
2021 American Control Conference (ACC).
Sebastian Junges,
Nils Jansen,
Bettina Könighofer,
2020,
CONCUR.
Nils Jansen,
Marielle Stoelinga,
Thom S. Badings,
2021,
ArXiv.
Thom S. Badings,
N. Jansen,
T. D. Simão,
2023,
International Journal on Software Tools for Technology Transfer.
U. Topcu,
Sebastian Junges,
N. Jansen,
2022,
ArXiv.
U. Topcu,
N. Jansen,
Steven Carr,
2021,
J. Artif. Intell. Res..
Sebastian Junges,
Nils Jansen,
Joost-Pieter Katoen,
2021,
2105.13411.
Sebastian Junges,
Nils Jansen,
Sanjit A. Seshia,
2020,
CAV.
Sebastian Junges,
Ufuk Topcu,
Joost-Pieter Katoen,
2020,
IEEE Transactions on Automatic Control.
Nils Jansen,
Ufuk Topcu,
Mohamadreza Ahmadi,
2019,
IEEE Transactions on Automatic Control.
Nils Jansen,
Bernd Becker,
Leonore Winterer,
2020,
NFM.
Sebastian Junges,
Nils Jansen,
Joost-Pieter Katoen,
2019,
SNR.
Nils Jansen,
Ufuk Topcu,
Bernd Becker,
2019,
IJCAI.
Sebastian Junges,
Nils Jansen,
Joost-Pieter Katoen,
2019,
From Reactive Systems to Cyber-Physical Systems.
Nils Jansen,
Ufuk Topcu,
Mohamadreza Ahmadi,
2018,
2018 56th Annual Allerton Conference on Communication, Control, and Computing (Allerton).
Nils Jansen,
Ufuk Topcu,
Jie Fu,
2018,
2018 Annual American Control Conference (ACC).
Sebastian Junges,
Nils Jansen,
Joost-Pieter Katoen,
2017,
ArXiv.
Sebastian Junges,
Ufuk Topcu,
Bernd Becker,
2017,
1708.04236.
Sebastian Junges,
Nils Jansen,
Joost-Pieter Katoen,
2017,
2017 IEEE 56th Annual Conference on Decision and Control (CDC).
N. Jansen,
Z. Bukhsh,
H. Molegraaf,
2022,
Neural Computing and Applications.
N. Jansen,
Yingqian Zhang,
Z. Bukhsh,
2022,
ICAART.
Dennis Gross,
Nils Jansen,
Guillermo A. P'erez,
2020,
ATVA.
Sebastian Junges,
Nils Jansen,
Joost-Pieter Katoen,
2015,
CAV.
Nils Jansen,
Dennis Gross,
Stephan Raaijmakers,
2020,
Artificial Intelligence and Machine Learning in Defense Applications II.
Ufuk Topcu,
Nils Jansen,
Steven Carr,
2020,
IJCAI.
Sebastian Junges,
Nils Jansen,
Joost-Pieter Katoen,
2018,
ArXiv.
Petra van den Bos,
N. Jansen,
2022,
A Journey from Process Algebra via Timed Automata to Model Learning.
Sebastian Junges,
Nils Jansen,
Joost-Pieter Katoen,
2021,
IEEE Transactions on Automatic Control.
Ross A. Knepper,
Nils Jansen,
Kerstin Eder,
2020,
Commun. ACM.
Sebastian Junges,
Nils Jansen,
Roderick Bloem,
2018,
1807.06096.
Sebastian Junges,
Nils Jansen,
Bettina Könighofer,
2018,
ArXiv.
Sebastian Junges,
Nils Jansen,
Bettina Könighofer,
2020
.
D. Parker,
N. Jansen,
T. D. Simão,
2022,
NeurIPS.
Thom S. Badings,
U. Topcu,
Sebastian Junges,
2023,
ArXiv.
Sebastian Junges,
N. Jansen,
Wietze Koops,
2023
.
Nils Jansen,
Joost-Pieter Katoen,
Benjamin Lucien Kaminski,
2016,
ATVA.
Annabelle McIver,
Nils Jansen,
Joost-Pieter Katoen,
2015,
MFPS.
Radu Grosu,
Nicola Paoletti,
Scott A. Smolka,
2019,
NFM.
Nils Jansen,
Armando Tacchella,
Erika Ábrahám,
2016,
ISoLA.
Nils Jansen,
Joost-Pieter Katoen,
Armando Tacchella,
2015,
NFM.
Nils Jansen,
Joost-Pieter Katoen,
Bernd Becker,
2012,
ATVA.
Nils Jansen,
Joost-Pieter Katoen,
Bernd Becker,
2010,
2010 Seventh International Conference on the Quantitative Evaluation of Systems.
Nils Jansen,
Joost-Pieter Katoen,
Javier Cámara,
2017,
Self-Aware Computing Systems.
Nils Jansen,
Aaqib Saeed,
Zaharah A. Bukhsh,
2021,
Neural Computing and Applications.
N. Jansen,
G. Pérez,
T. D. Simão,
2022,
ICAART.
U. Topcu,
N. Jansen,
T. D. Simão,
2023,
Conference on Uncertainty in Artificial Intelligence.
Nils Jansen,
Ufuk Topcu,
Murat Cubuktepe,
2020,
International Joint Conference on Artificial Intelligence.
Sebastian Junges,
Nils Jansen,
Joost-Pieter Katoen,
2018,
ATVA.
Ufuk Topcu,
Steven Carr,
Nils Jansen,
2020,
International Joint Conference on Artificial Intelligence.
Nils Jansen,
Ufuk Topcu,
Matthijs T. J. Spaan,
2021,
Robotics: Science and Systems.
Thom S. Badings,
Hasan A. Poonawala,
A. Abate,
2021,
AAAI.
Nils Jansen,
Joost-Pieter Katoen,
Bernd Becker,
2014,
SFM.
Nils Jansen,
Joost-Pieter Katoen,
Bernd Becker,
2012,
TACAS.
Nils Jansen,
N. Jansen,
2015
.
Nils Jansen,
Joost-Pieter Katoen,
Bernd Becker,
2013
.
Nils Jansen,
Joost-Pieter Katoen,
Bernd Becker,
2012,
MBMV.
Florian Lorber,
Nils Jansen,
Bettina Könighofer,
2020,
ISoLA.
Nils Jansen,
Ufuk Topcu,
Jana Tumova,
2018,
NFM.
Thom S. Badings,
N. Jansen,
T. D. Simão,
2022
.
Thom S. Badings,
A. Abate,
Licio Romao,
2022,
QEST.
M. Spaan,
N. Jansen,
Simon Tindemans,
2023,
ECAI.
C. Baier,
N. Jansen,
Clemens Dubslaff,
2023,
IJCAI.
Sebastian Junges,
N. Jansen,
G. Pérez,
2022,
SETTA.
Sebastian Junges,
Nils Jansen,
Joost-Pieter Katoen,
2019,
TACAS.
Nils Jansen,
Joost-Pieter Katoen,
Bernd Becker,
2015,
FM.
Technické V Brně,
Vysoké Učení,
Sebastian Junges,
2020
.
Annabelle McIver,
Nils Jansen,
Joost-Pieter Katoen,
2015,
MFPS.
Nils Jansen,
Joost-Pieter Katoen,
Federico Olmedo,
2015,
Correct System Design.