Andre Platzer

Identifiers

• name variant Andre Platzer 0.60 · backfill

Papers (4)

1. Verifiably Safe Off-Model Reinforcement Learning cs.AI · 2019 · author #2
2. HyPLC: Hybrid Programmable Logic Controller Program Translation for Verification cs.PL · 2019 · author #3
3. Forward Invariant Cuts to Simplify Proofs of Safety cs.LO · 2015 · author #4
4. Collaborative Verification-Driven Engineering of Hybrid Systems cs.LO · 2014 · author #3

Mentions

• 1507.05133 #4 · arxiv_oai · confidence 0.70 Andre Platzer
• 1902.05632 #2 · arxiv_oai · confidence 0.70 Andre Platzer
• 1902.05205 #3 · arxiv_oai · confidence 0.70 Andre Platzer
• 1403.6085 #3 · arxiv_oai · confidence 0.70 Andre Platzer
• 1403.6085 #3 · backfill · confidence 0.70 Andre Platzer

Frequent Coauthors

• Stefan Mitsch 2 shared papers
• Bruce Krogh 1 shared papers
• Grant Olney Passmore 1 shared papers
• James Kapinski 1 shared papers
• Jyotirmoy Deshmukh 1 shared papers
• Luis Garcia 1 shared papers
• Nathan Fulton 1 shared papers
• Nikos Arechiga 1 shared papers