1. Verifying Strategic Abilities of Neural-symbolic Multi-agent Systems
2. Julien Alexandre dit Sandretto and Alexandre Chapoutot . 2016. Validated Explicit and Implicit Runge-Kutta Methods. Reliable Computing electronic edition 22 (July 2016 ). Julien Alexandre dit Sandretto and Alexandre Chapoutot. 2016. Validated Explicit and Implicit Runge-Kutta Methods. Reliable Computing electronic edition 22 (July 2016).
3. Matthias Althoff . 2015 . An Introduction to CORA 2015. In ARCH14-15 . 1st and 2nd International Workshop on Applied veRification for Continuous and Hybrid Systems(EPiC Series in Computing, Vol. 34) , Goran Frehseand Matthias Althoff (Eds.). 120–151. Matthias Althoff. 2015. An Introduction to CORA 2015. In ARCH14-15. 1st and 2nd International Workshop on Applied veRification for Continuous and Hybrid Systems(EPiC Series in Computing, Vol. 34), Goran Frehseand Matthias Althoff (Eds.). 120–151.
4. The algorithmic analysis of hybrid systems
5. Stanley Bak and Parasara Sridhar Duggirala . 2017. Simulation-Equivalent Reachability of Large Linear Systems with Inputs . In Computer Aided Verification, Rupak Majumdar and Viktor Kunčak (Eds.). Springer International Publishing , Cham , 401–420. Stanley Bak and Parasara Sridhar Duggirala. 2017. Simulation-Equivalent Reachability of Large Linear Systems with Inputs. In Computer Aided Verification, Rupak Majumdar and Viktor Kunčak (Eds.). Springer International Publishing, Cham, 401–420.