Sebastian Junges

Sebastian Junges

Assistant Professor, Radboud University, Nijmegen
在 ru.nl 的电子邮件经过验证
被引用次数：3097
Formal methods Markov Decision Processes Controller Synthesis Probabilistic Inference Runtime Assurance
Marco Faella

Marco Faella

Università di Napoli "Federico II", Italy
在 unina.it 的电子邮件经过验证
被引用次数：1835
formal methods controller synthesis game theory preference elicitation
Lavindra de Silva

Lavindra de Silva

Research Professor, Cambridge University
在 cam.ac.uk 的电子邮件经过验证
被引用次数：1626
AI Robotics Autonomous (Agent) Systems AI Planning Controller Synthesis
Amel Bennaceur

Amel Bennaceur

Academic in Computing - Adaptive and Intelligent Systems, The Open University
在 open.ac.uk 的电子邮件经过验证
被引用次数：984
controller synthesis emergent middleware adaptive security software engineering distributed systems
Alphan Ulusoy

Alphan Ulusoy

Boston University
在 bu.edu 的电子邮件经过验证
被引用次数：863
robot path planning controller synthesis temporal logics networked control systems
Dennis Hendriks

Dennis Hendriks

TNO-ESI and Radboud University
在 tno.nl 的电子邮件经过验证
被引用次数：271
Software Engineering Software Behavior Formal Methods Model Learning Controller Synthesis
Shibashis Guha

Shibashis Guha

Reader, Tata Institute of Fundamental Research Mumbai
在 tifr.res.in 的电子邮件经过验证
被引用次数：221
Formal methods and learning controller synthesis Markov decision processes automata theory
Daniel Wester

Daniel Wester

Senior Staff, Qualcomm
在 qti.qualcomm.com 的电子邮件经过验证
被引用次数：195
Automatic Control Controller Synthesis LPV-systems Model Reduction
Mohammad Irshad

Mohammad Irshad

PhD Scholar, Indian Institute of Technology Patna
在 iitp.ac.in 的电子邮件经过验证
被引用次数：135
Smart Grid Controller Synthesis
Sander Thuijsman

Sander Thuijsman

PhD candidate, Eindhoven University of Technology
在 tue.nl 的电子邮件经过验证
被引用次数：92
Supervisory Control Theory Controller Synthesis Discrete Event Systems Model based systems engineering
1 - 10