0 | -- | 0 | Sebastian Biewer, Pedro R. D'Argenio, Holger Hermanns. Doping Tests for Cyber-physical Systems |
0 | -- | 0 | Yuliya Butkova, Arnd Hartmanns, Holger Hermanns. A Modest Approach to Markov Automata |
0 | -- | 0 | David Parker 0001, Verena Wolf. Introduction to the Special Issue on QEST 2019 |
0 | -- | 0 | Gidon Ernst, Sean Sedwards, Zhenya Zhang, Ichiro Hasuo. Falsification of Hybrid Systems Using Adaptive Probabilistic Search |
0 | -- | 0 | Aravind Balakrishnan, Jaeyoung Lee, Ashish Gaurav, Krzysztof Czarnecki, Sean Sedwards. Transfer Reinforcement Learning for Autonomous Driving: From WiseMove to WiseSim |
0 | -- | 0 | Jannik Hüls, Carina Pilch, Patricia Schinke, Henner Niehaus, Joanna Delicaris, Anne Remke. State-space Construction of Hybrid Petri Nets with Multiple Stochastic Firings |
0 | -- | 0 | . Replication of Computational Results Report for "Doping Tests for Cyber-Physical Systems" |