Stefan Mitsch

2012

A researcher in the Science corpus: 1 paper; trusts 1 researcher and is trusted by 0 researchers here, as inferred from the citation graph.

Whom Stefan Mitsch trusts overall

Their strongest outbound trust, strongest first, inferred from their citations.

  1. André Platzer

Papers from Stefan Mitsch's perspective

Ordered by how strongly the researchers Stefan Mitsch trusts endorse each paper. Same corpus, a different order for every researcher.

  1. Towards fully autonomous driving: Systems and algorithms
  2. Differential Dynamic Logic for Hybrid Systems (Journal of automated reasoning)
  3. Dynamic logic (SIGA)
  4. Model Checking
  5. Formal verification of distributed aircraft controllers
  6. Computational techniques for hybrid system verification (IEEE Transactions on Automatic Control)
  7. PHAVer: algorithmic verification of hybrid systems past HyTech (International Journal on Software Tools for Technology Transfer (STTT))
  8. Next-Generation Airborne Collision Avoidance System
  9. KeYmaera: A Hybrid Theorem Prover for Hybrid Systems (System Description) (International Joint Conference on Automated Reasoning)
  10. First-order modal logic (Handbook of Modal Logic)

Their papers