15 citations · 28 across the 12 of their papers we have counts for
1 paper · 1 filter
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…