Следене
André Platzer
André Platzer
Alexander von Humboldt Professor, Karlsruhe Institute of Technology
Потвърден имейл адрес: kit.edu - Начална страница
Заглавие
Позовавания
Позовавания
Година
Differential dynamic logic for hybrid systems
A Platzer
Journal of Automated Reasoning 41 (2), 143-189, 2008
5642008
Logical Analysis of Hybrid Systems: Proving Theorems for Complex Dynamics
A Platzer
Springer-Verlag New York Inc, 2010
5282010
KeYmaera: A hybrid theorem prover for hybrid systems (system description)
A Platzer, JD Quesel
Automated Reasoning, 171-178, 2008
4272008
Logical foundations of cyber-physical systems
A Platzer
Springer, 2018
3442018
KeYmaera X: An axiomatic tactical theorem prover for hybrid systems
N Fulton, S Mitsch, JD Quesel, M Völp, A Platzer
Automated Deduction-CADE-25: 25th International Conference on Automated …, 2015
3342015
A Bayesian approach to model checking biological systems
S Jha, E Clarke, C Langmead, A Legay, A Platzer, P Zuliani
Computational Methods in Systems Biology, 218-234, 2009
3192009
Adaptive cruise control: Hybrid, distributed, and now formally verified
SM Loos, A Platzer, L Nistor
International Symposium on Formal Methods, 42-56, 2011
2752011
Safe reinforcement learning via formal methods: Toward safe control through proof and learning
N Fulton, A Platzer
Proceedings of the AAAI Conference on Artificial Intelligence 32 (1), 2018
2592018
European Train Control System: A case study in formal verification
A Platzer, JD Quesel
International Conference on Formal Engineering Methods, 246-265, 2009
2132009
ModelPlex: Verified runtime validation of verified cyber-physical system models
S Mitsch, A Platzer
Formal Methods in System Design 49 (1), 33-74, 2016
2092016
Differential-algebraic dynamic logic for differential-algebraic programs
A Platzer
Journal of Logic and Computation 20 (1), 309-352, 2010
1922010
Bayesian statistical model checking with application to simulink/stateflow verification
P Zuliani, A Platzer, EM Clarke
Proceedings of the 13th ACM international conference on Hybrid systems …, 2010
1772010
The complete proof theory of hybrid systems
A Platzer
2012 27th Annual IEEE Symposium on Logic in Computer Science, 541-550, 2012
1712012
Bayesian statistical model checking with application to Stateflow/Simulink verification
P Zuliani, A Platzer, EM Clarke
Formal Methods in System Design 43, 338-367, 2013
1692013
Statistical model checking for Markov decision processes
D Henriques, J Martins, P Zuliani, A Platzer, EM Clarke
9th International Conference on Quantitative Evaluation of Systems, QEST …, 2012
1652012
Logics of dynamical systems
A Platzer
2012 27th Annual IEEE Symposium on Logic in Computer Science, 13-24, 2012
1572012
Formal verification of curved flight collision avoidance maneuvers: A case study
A Platzer, EM Clarke
International Symposium on Formal Methods, 547-562, 2009
1562009
Computing differential invariants of hybrid systems as fixedpoints
A Platzer, EM Clarke
Computer Aided Verification: 20th International Conference, CAV 2008 …, 2008
1522008
A complete uniform substitution calculus for differential dynamic logic.
A Platzer
Journal of Automated Reasoning 59 (2), 219-265, 2017
1502017
On provably safe obstacle avoidance for autonomous robotic ground vehicles
S Mitsch, K Ghorbal, A Platzer
Robotics: Science and Systems IX, Technische Universität Berlin, Berlin …, 2013
1252013
Системата не може да изпълни операцията сега. Опитайте отново по-късно.
Статии 1–20