Andre Platzer

Identifiers

No identifiers captured yet.

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

No mention provenance yet.

Frequent Coauthors

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