98 citations · 647 across the 44 of their papers we have counts for
Showing 2014Show all
2 papers · 1 filter
cs.LO2014★ 34 cited
Differential Game Logic
André Platzer
Differential game logic (dGL) is a logic for specifying and verifying properties of hybrid games, i.e. games that combine discrete, continuous, and adversarial dynamics. Unlike hyb…
cs.LO2014★ 15 cited
Collaborative Verification-Driven Engineering of Hybrid Systems
Stefan Mitsch, Grant Olney Passmore, Andre Platzer
Hybrid systems with both discrete and continuous dynamics are an important model for real-world cyber-physical systems. The key challenge is to ensure their correct functioning w.r…