Nils Jansen
发表
Nils Jansen,
Ufuk Topcu,
Mohamadreza Ahmadi,
2019,
IEEE Transactions on Automatic Control.
Sebastian Junges,
Nils Jansen,
Bettina Könighofer,
2018,
ArXiv.
Sebastian Junges,
Nils Jansen,
Joost-Pieter Katoen,
2018,
QEST.
Sebastian Junges,
Nils Jansen,
Joost-Pieter Katoen,
2018,
MBMV.
Annabelle McIver,
Nils Jansen,
Joost-Pieter Katoen,
2015,
MFPS.
Sebastian Junges,
Nils Jansen,
Joost-Pieter Katoen,
2018,
ATVA.
Nils Jansen,
Joost-Pieter Katoen,
Erika Ábrahám,
2014,
ATVA.
Nils Jansen,
Joost-Pieter Katoen,
Bernd Becker,
2012,
TACAS.
Nils Jansen,
Joost-Pieter Katoen,
Bernd Becker,
2014,
Sci. Comput. Program..
Sebastian Junges,
Nils Jansen,
Joost-Pieter Katoen,
2019,
TACAS.
Nils Jansen,
Joost-Pieter Katoen,
Federico Olmedo,
2015
.
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).
Nils Jansen,
Armando Tacchella,
Erika Ábrahám,
2016,
ISoLA.
Nils Jansen,
Joost-Pieter Katoen,
Bernd Becker,
2012,
FACS.
Nils Jansen,
Joost-Pieter Katoen,
Bernd Becker,
2010,
2010 Seventh International Conference on the Quantitative Evaluation of Systems.
Nils Jansen,
Joost-Pieter Katoen,
Bernd Becker,
2015,
FM.
Sebastian Junges,
Nils Jansen,
Ufuk Topcu,
2020,
TACAS.
Sebastian Junges,
Nils Jansen,
Joost-Pieter Katoen,
2017,
2017 IEEE 56th Annual Conference on Decision and Control (CDC).
Nils Jansen,
Joost-Pieter Katoen,
Federico Olmedo,
2015,
Correct System Design.
Nils Jansen,
Joost-Pieter Katoen,
Bernd Becker,
2014,
SFM.
Nils Jansen,
Joost-Pieter Katoen,
Bernd Becker,
2013,
QEST 2013.
Thiemo Leonhardt,
Nils Jansen,
Philipp Brauner,
2011,
Koli Calling.
Sebastian Junges,
Nils Jansen,
Joost-Pieter Katoen,
2019,
Formal Methods in System Design.
Sebastian Junges,
Nils Jansen,
Joost-Pieter Katoen,
2015,
CAV.
Nils Jansen,
Joost-Pieter Katoen,
Bernd Becker,
2012,
MBMV.
Probabilistic Model Checking for Complex Cognitive Tasks - A case study in human-robot interaction
pdf
Sebastian Junges,
Nils Jansen,
Joost-Pieter Katoen,
2016,
ArXiv.
Nils Jansen,
Joost-Pieter Katoen,
Bernd Becker,
2012,
ArXiv.
Sebastian Junges,
Nils Jansen,
Sanjit A. Seshia,
2020,
CAV.
Sebastian Junges,
Nils Jansen,
Joost-Pieter Katoen,
2016,
MBMV.
Sebastian Junges,
Nils Jansen,
Joost-Pieter Katoen,
2015,
TACAS.
Nils Jansen,
Ufuk Topcu,
Murat Cubuktepe,
2019,
ArXiv.
Nils Jansen,
Ufuk Topcu,
Jana Tumova,
2018,
NFM.
Annabelle McIver,
Nils Jansen,
Joost-Pieter Katoen,
2015,
MFPS.
Nils Jansen,
Ufuk Topcu,
Murat Cubuktepe,
2017,
2017 American Control Conference (ACC).
Nils Jansen,
Daniel Neider,
2013,
NASA Formal Methods.
Nils Jansen,
Joost-Pieter Katoen,
Bernd Becker,
2011,
ATVA.
Sebastian Junges,
Nils Jansen,
Joost-Pieter Katoen,
2016,
ATVA.
Florian Lorber,
Nils Jansen,
Bettina Könighofer,
2020,
ISoLA.
Nils Jansen,
Joost-Pieter Katoen,
Bernd Becker,
2012,
ATVA.
Sebastian Junges,
Nils Jansen,
Joost-Pieter Katoen,
2017,
ArXiv.
Sebastian Junges,
Nils Jansen,
Joost-Pieter Katoen,
2019,
From Reactive Systems to Cyber-Physical Systems.
Thiemo Leonhardt,
Nils Jansen,
Philipp Brauner,
2010,
DeLFI.
Nils Jansen,
N. Jansen,
2015
.
Sebastian Junges,
Nils Jansen,
Joost-Pieter Katoen,
2017,
TACAS.
Nils Jansen,
Bernd Becker,
Erika Ábrahám,
2011,
MBMV.
Ross A. Knepper,
Nils Jansen,
Kerstin Eder,
2020,
Commun. ACM.
Nils Jansen,
Joost-Pieter Katoen,
Javier Cámara,
2017,
Self-Aware Computing Systems.
Nils Jansen,
Ufuk Topcu,
Murat Cubuktepe,
2020,
International Joint Conference on Artificial Intelligence.
Nils Jansen,
Joost-Pieter Katoen,
Bernd Becker,
2014,
QEST.
Nils Jansen,
Joost-Pieter Katoen,
Pushmeet Kohli,
2018,
Dagstuhl Reports.
Sebastian Junges,
Nils Jansen,
Joost-Pieter Katoen,
2018,
ArXiv.
Nils Jansen,
Ufuk Topcu,
Bernd Becker,
2019,
IJCAI.
Nils Jansen,
Bernd Becker,
Erika Ábrahám,
2011,
FMOODS/FORTE.
Nils Jansen,
Dennis Gross,
Stephan Raaijmakers,
2020,
Artificial Intelligence and Machine Learning in Defense Applications II.
Sebastian Junges,
Nils Jansen,
Joost-Pieter Katoen,
2019,
SNR.
Nils Jansen,
Joost-Pieter Katoen,
Armando Tacchella,
2015,
NFM.
Nils Jansen,
Joost-Pieter Katoen,
Benjamin Lucien Kaminski,
2016,
ATVA.
Nils Jansen,
Joost-Pieter Katoen,
Bernd Becker,
2014,
Theor. Comput. Sci..
Nils Jansen,
Alessandro Abate,
Thom S. Badings,
2021,
ArXiv.
Sebastian Junges,
Nils Jansen,
Sanjit A. Seshia,
2021
.
Nils Jansen,
Aaqib Saeed,
Zaharah A. Bukhsh,
2021,
Neural Computing and Applications.
Nils Jansen,
Marielle Stoelinga,
Thom S. Badings,
2021,
ArXiv.
Sebastian Junges,
Nils Jansen,
Ufuk Topcu,
2021,
AAAI.
Nils Jansen,
Thom S. Badings,
Hasan A. Poonawala,
2021
.
Nils Jansen,
Thiago D. Simão,
M. Spaan,
2021,
AAMAS.
Sebastian Junges,
Nils Jansen,
Joost-Pieter Katoen,
2021,
ArXiv.
Sebastian Junges,
Nils Jansen,
Joost-Pieter Katoen,
2021,
2105.13411.
Nils Jansen,
Ufuk Topcu,
Matthijs T. J. Spaan,
2021,
Robotics: Science and Systems.
Nils Jansen,
Arnd Hartmanns,
Thom S. Badings,
2021,
NFM.
Sebastian Junges,
Nils Jansen,
Sanjit A. Seshia,
2021,
CAV.
Sebastian Junges,
Nils Jansen,
Joost-Pieter Katoen,
2021,
IEEE Transactions on Automatic Control.
Nils Jansen,
Joost-Pieter Katoen,
Javier Cámara,
2016
.
Nils Jansen,
Joost-Pieter Katoen,
Bernd Becker,
2013
.