André Platzer

Artificial Intelligence · 2008–2015

A researcher in the Science corpus: 6 papers; trusts 7 researchers and is trusted by 16 researchers here, as inferred from the citation graph.

Subfields

Whom André Platzer trusts overall

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

  1. Bernhard Beckert
  2. Alongkrit Chutinan
  3. Bruce H. Krogh
  4. Vladimir Klebanov
  5. Patrizio Pelliccione
  6. Reiner Hähnle
  7. Steffen Schlager

Who trusts André Platzer overall

  1. Rajeev Alur
  2. Jean-Baptiste Jeannin
  3. Kyoung-Dae Kim
  4. Stefan Mitsch
  5. Khalil Ghorbal
  6. Xin Chen
  7. Yanni Kouskoulas
  8. P. Arun Raj Kumar
  9. Jan-David Quesel
  10. Sarah M. Loos

Papers from André Platzer's perspective

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

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

Their papers