Aurora C. Schmidt
Computational Theory and Mathematics · 2015
A researcher in the Science corpus: 1 paper; trusts 1 researcher and is trusted by 0 researchers here, as inferred from the citation graph.
Subfields
- Computational Theory and Mathematics — 5 citations into it
Whom Aurora C. Schmidt trusts overall
Their strongest outbound trust, strongest first, inferred from their citations.
Papers from Aurora C. Schmidt's perspective
Ordered by how strongly the researchers Aurora C. Schmidt trusts endorse each paper. Same corpus, a different order for every researcher.
- Differential Dynamic Logic for Hybrid Systems (Journal of automated reasoning)
- Next-Generation Airborne Collision Avoidance System
- KeYmaera: A Hybrid Theorem Prover for Hybrid Systems (System Description) (International Joint Conference on Automated Reasoning)
- Formal verification of distributed aircraft controllers
- Logical Analysis of Hybrid Systems - Proving Theorems for Complex Dynamics
- Towards fully autonomous driving: Systems and algorithms
- Dynamic logic (SIGA)
- PHAVer: algorithmic verification of hybrid systems past HyTech (International Journal on Software Tools for Technology Transfer (STTT))
- A Decision Method for Elementary Algebra and Geometry
- Computational techniques for hybrid system verification (IEEE Transactions on Automatic Control)