References in zbMATH (referenced in 65 articles )

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

1 2 3 4 next

  1. Doyen, Laurent; Frehse, Goran; Pappas, George J.; Platzer, André: Verification of hybrid systems (2018)
  2. Dai, Liyun; Gan, Ting; Xia, Bican; Zhan, Naijun: Barrier certificates revisited (2017)
  3. Djaballah, Adel; Chapoutot, Alexandre; Kieffer, Michel; Bouissou, Olivier: Construction of parametric barrier functions for dynamical systems using interval analysis (2017)
  4. Tung, Vu Xuan; Khanh, To Van; Ogawa, Mizuhito: raSAT: an SMT solver for polynomial constraints (2017)
  5. Wojciechowski, Piotr; Eirinakis, Pavlos; Subramani, K.: Erratum to: “Analyzing restricted fragments of the theory of linear arithmetic” (2017)
  6. Wojciechowski, Piotr; Eirinakis, Pavlos; Subramani, K.: Analyzing restricted fragments of the theory of linear arithmetic (2017)
  7. Bernardeschi, Cinzia; Domenici, Andrea: Verifying safety properties of a nonlinear control by interactive theorem proving with the prototype verification system (2016)
  8. Franek, Peter; Ratschan, Stefan; Zgliczynski, Piotr: Quasi-decidability of a fragment of the first-order theory of real numbers (2016)
  9. Navarro-López, Eva M.; Carter, Rebekah: Deadness and how to disprove liveness in hybrid dynamical systems (2016)
  10. Tung, Vu Xuan; Van Khanh, To; Ogawa, Mizuhito: raSAT: an SMT solver for polynomial constraints (2016)
  11. Alviano, Mario; Peñaloza, Rafael: Fuzzy answer set computation via satisfiability modulo theories (2015)
  12. Dzetkulič, Tomáš: Rigorous integration of non-linear ordinary differential equations in Chebyshev basis (2015)
  13. Prabhakar, Pavithra; Duggirala, Parasara Sridhar; Mitra, Sayan; Viswanathan, Mahesh: Hybrid automata-based CEGAR for rectangular hybrid systems (2015)
  14. Benvenuti, Luca; Bresolin, Davide; Collins, Pieter; Ferrari, Alberto; Geretti, Luca; Villa, Tiziano: Assume-guarantee verification of nonlinear hybrid systems with ARIADNE (2014)
  15. Duracz, Jan; Konečný, Michal: Polynomial function intervals for floating-point software verification (2014)
  16. Eirinakis, Pavlos; Ruggieri, Salvatore; Subramani, K.; Wojciechowski, Piotr: On quantified linear implications (2014)
  17. Hladík, Milan; Ratschan, Stefan: Efficient solution of a class of quantified constraints with quantifier prefix exists-forall (2014)
  18. Lin, Wang; Wu, Min; Yang, Zhengfeng; Zeng, Zhenbing: Exact safety verification of hybrid systems using sums-of-squares representation (2014)
  19. Ruggieri, Salvatore; Eirinakis, Pavlos; Subramani, K.; Wojciechowski, Piotr: On the complexity of quantified linear systems (2014)
  20. Hahn, Ernst Moritz; Hartmanns, Arnd; Hermanns, Holger; Katoen, Joost-Pieter: A compositional modelling and analysis framework for stochastic hybrid systems (2013)

1 2 3 4 next