41 citations · 223 across the 22 of their papers we have counts for
1 paper · 2 filters
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…