References in zbMATH (referenced in 11 articles )

Showing results 1 to 11 of 11.
Sorted by year (citations)

  1. Cattaruzza, Dario; Abate, Alessandro; Schrammel, Peter; Kroening, Daniel: Unbounded-time safety verification of guarded LTI models with inputs by abstract acceleration (2021)
  2. Tsachouridis, Vassilios A.; Giantamidis, Georgios; Basagiannis, Stylianos; Kouramas, Kostas: Formal analysis of the Schulz matrix inversion algorithm: a paradigm towards computer aided verification of general matrix flow solvers (2020)
  3. Dreossi, Tommaso; Donzé, Alexandre; Seshia, Sanjit A.: Compositional falsification of cyber-physical systems with machine learning components (2019)
  4. Tran, Hoang-Dung; Nguyen, Luan Viet; Hamilton, Nathaniel; Xiang, Weiming; Johnson, Taylor T.: Reachability analysis for high-index linear differential algebraic equations (2019)
  5. Chen, Mo; Herbert, Sylvia L.; Vashishtha, Mahesh S.; Bansal, Somil; Tomlin, Claire J.: Decomposition of reachable sets and tubes for a class of nonlinear systems (2018)
  6. Bak, Stanley; Duggirala, Parasara Sridhar: Rigorous simulation-based analysis of linear hybrid systems (2017)
  7. Dreossi, Tommaso: Sapo: reachability computation and parameter synthesis of polynomial dynamical systems (2017)
  8. Huang, Zhenqi; Fan, Chuchu; Mitra, Sayan: Bounded invariant verification for time-delayed nonlinear networked dynamical systems (2017)
  9. Mancini, Toni; Mari, Federico; Massini, Annalisa; Melatti, Igor; Salvo, Ivano; Tronci, Enrico: On minimising the maximum expected verification time (2017)
  10. Bak, Stanley; Bogomolov, Sergiy; Henzinger, Thomas A.; Johnson, Taylor T.; Prakash, Pradyot: Scalable static hybridization methods for analysis of nonlinear systems (2016)
  11. Roehm, Hendrik; Oehlerking, Jens; Woehrle, Matthias; Althoff, Matthias: Reachset conformance testing of hybrid automata (2016)

Further publications can be found at: