References in zbMATH (referenced in 49 articles )

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

1 2 3 next

  1. Wojciechowski, Piotr; Eirinakis, Pavlos; Subramani, K.: Analyzing restricted fragments of the theory of linear arithmetic (2017)
  2. Bernardeschi, Cinzia; Domenici, Andrea: Verifying safety properties of a nonlinear control by interactive theorem proving with the prototype verification system (2016)
  3. Navarro-López, Eva M.; Carter, Rebekah: Deadness and how to disprove liveness in hybrid dynamical systems (2016)
  4. Dzetkulič, Tomáš: Rigorous integration of non-linear ordinary differential equations in Chebyshev basis (2015)
  5. Prabhakar, Pavithra; Duggirala, Parasara Sridhar; Mitra, Sayan; Viswanathan, Mahesh: Hybrid automata-based CEGAR for rectangular hybrid systems (2015)
  6. Duracz, Jan; Konečný, Michal: Polynomial function intervals for floating-point software verification (2014)
  7. Eirinakis, Pavlos; Ruggieri, Salvatore; Subramani, K.; Wojciechowski, Piotr: On quantified linear implications (2014)
  8. Hladík, Milan; Ratschan, Stefan: Efficient solution of a class of quantified constraints with quantifier prefix exists-forall (2014)
  9. Lin, Wang; Wu, Min; Yang, Zhengfeng; Zeng, Zhenbing: Exact safety verification of hybrid systems using sums-of-squares representation (2014)
  10. Ruggieri, Salvatore; Eirinakis, Pavlos; Subramani, K.; Wojciechowski, Piotr: On the complexity of quantified linear systems (2014)
  11. Hahn, Ernst Moritz; Hartmanns, Arnd; Hermanns, Holger; Katoen, Joost-Pieter: A compositional modelling and analysis framework for stochastic hybrid systems (2013)
  12. Hiraishi, Kunihiko; Kobayashi, Koich: An approximation algorithm for box abstraction of transition systems on real state spaces (2013)
  13. She, Zhikun; Li, Haoyang; Xue, Bai; Zheng, Zhiming; Xia, Bican: Discovering polynomial Lyapunov functions for continuous dynamical systems (2013)
  14. Eirinakis, Pavlos; Ruggieri, Salvatore; Subramani, K.; Wojciechowski, Piotr: A complexity perspective on entailment of parameterized linear constraints (2012)
  15. Zhang, Lijun; She, Zhikun; Ratschan, Stefan; Hermanns, Holger; Hahn, Ernst Moritz: Safety verification for probabilistic hybrid systems (2012)
  16. Franek, Peter; Ratschan, Stefan; Zgliczynski, Piotr: Satisfiability of systems of equations of real analytic functions is quasi-decidable (2011)
  17. Ramdani, Nacim; Nedialkov, Nedialko S.: Computing reachable sets for uncertain nonlinear hybrid systems using interval constraint-propagation techniques (2011)
  18. Akbarpour, Behzad; Paulson, Lawrence Charles: MetiTarski: An automatic theorem prover for real-valued special functions (2010)
  19. Banerjee, Bonny; Chandrasekaran, B.: A constraint satisfaction framework for executing perceptions and actions in diagrammatic reasoning (2010)
  20. Campagna, Dario; Piazza, Carla: Hybrid automata, reachability, and systems biology (2010)

1 2 3 next