Publications
Huang, and Jan Peleska. Complete agent-driven model-based system testing for autonomous systems. In Marie Farrell and Matt Luckcuck, editors, Proceedings Third Workshop on Formal Methods for Autonomous Systems [...] Jan Peleska. Complete test of synthesised safety supervisors for robots and autonomous systems. In Marie Farrell and Matt Luckcuck, editors, Proceedings Third Workshop on Formal Methods for Autonomous Systems [...] doi: 10.1145/2794381 Jan Peleska. Translating testing theories for concurrent systems. In Roland Meyer, Andr´e Platzer, and Heike Wehrheim, editors, Correct System Design - Symposium in Honor of ErnstR¨udiger