Andre Platzer

Identifiers

• name variant Andre Platzer 0.60 · backfill

Papers (3)

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. Collaborative Verification-Driven Engineering of Hybrid Systems cs.LO · 2014 · author #3

Mentions

• 1403.6085 #3 · backfill · confidence 0.70 Andre Platzer

Frequent Coauthors

• Stefan Mitsch 2 shared papers
• Grant Olney Passmore 1 shared papers
• Luis Garcia 1 shared papers
• Nathan Fulton 1 shared papers