Pages that link to "Item:Q3612979"
From MaRDI portal
The following pages link to Reachability for Linear Hybrid Automata Using Iterative Relaxation Abstraction (Q3612979):
Displaying 4 items.
- SAT-LP-IIS joint-directed path-oriented bounded reachability analysis of linear hybrid automata (Q479819) (← links)
- Synthesis and infeasibility analysis for stochastic models of biochemical systems using statistical model checking and abstraction refinement (Q533361) (← links)
- CTRL: extension of CTL with regular expressions and fairness operators to verify genetic regulatory networks (Q548484) (← links)
- Hybrid automata-based CEGAR for rectangular hybrid systems (Q888464) (← links)
