Kerstin Bauer
From MaRDI portal
List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| From synchronous programs to symbolic representations of hybrid systems Proceedings of the 13th ACM international conference on Hybrid systems: computation and control | 2017-05-10 | Paper |
| Approximated reachability on hybrid automata: falsification meets certification Electronic Notes in Theoretical Computer Science | 2015-03-23 | Paper |
| Property Driven Three-Valued Model Checking on Hybrid Automata Logic, Language, Information and Computation | 2009-07-02 | Paper |
Research outcomes over time
This page was built for person: Kerstin Bauer
