Ryan Gardner
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 Ryan Gardner trusts overall
Their strongest outbound trust, strongest first, inferred from their citations.
Papers from Ryan Gardner's perspective
Ordered by how strongly the researchers Ryan Gardner 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)