The following pages link to Computer Aided Verification (Q5716569):
Displaying 20 items.
- Computational challenges in systems biology (Q458470) (← links)
- Computing reachable states for nonlinear biological models (Q533351) (← links)
- Design, optimization and predictions of a coupled model of the cell cycle, circadian clock, DNA repair system, irinotecan metabolism and exposure control under temporal logic constraints (Q533354) (← links)
- Algorithmic global criteria for excluding oscillations (Q542032) (← links)
- Discrete semantics for hybrid automata. Avoiding misleading assumptions in systems biology (Q843992) (← links)
- Hybrid automata, reachability, and systems biology (Q969180) (← links)
- Inclusion dynamics hybrid automata (Q999262) (← links)
- Hybrid systems: From verification to falsification by combining motion planning and discrete search (Q1039839) (← links)
- Computing differential invariants of hybrid systems as fixed points (Q1039853) (← links)
- Unwinding biological systems (Q2348024) (← links)
- Generating invariants for non-linear hybrid systems (Q2355695) (← links)
- Taylor approximation for hybrid systems (Q2461793) (← links)
- Polynomial interrupt timed automata: verification and expressiveness (Q2662502) (← links)
- Towards a hybrid dynamic logic for hybrid dynamic systems (Q2867948) (← links)
- Analyzing Oscillatory Behavior with Formal Methods (Q2937728) (← links)
- Computing Differential Invariants of Hybrid Systems as Fixedpoints (Q3512492) (← links)
- Property Driven Three-Valued Model Checking on Hybrid Automata (Q3638286) (← links)
- Approximated Reachability on Hybrid Automata: Falsification meets Certification (Q4982085) (← links)
- Hybrid Automata in Systems Biology: How Far Can We Go? (Q5404076) (← links)
- Symbolic Model Checking of Hybrid Systems Using Template Polyhedra (Q5458327) (← links)
