Previous Page | Next Page | Expand All | Collapse All | Search (Full Text)
Year | Title | BibTeX cite key | |||||
---|---|---|---|---|---|---|---|
| |||||||
| |||||||
| |||||||
| |||||||
| |||||||
| |||||||
| |||||||
| |||||||
| |||||||
| |||||||
| |||||||
| |||||||
| |||||||
| |||||||
| |||||||
| |||||||
| |||||||
| |||||||
| |||||||
| |||||||
2007 | Safety Verification of Hybrid Systems by Constraint Propagation Based Abstraction Refinement In: ACM Transactions in Embedded Computing Systems [6], 1-23 | Ratschan2007 | |||||
2006 | Constraints for Continuous Reachability in the Verification of Hybrid Systems In: Artificial Intelligence and Symbolic Computation, 8th International Conference, AISC 2006, 196-210 | She2005 | |||||
2005 | Safety Verification of Hybrid Systems by Constraint Propagation Based Abstraction Refinement In: Hybrid Systems: Computation and Control: 8th International Workshop, HSCC 2005, 573-589 | Ratschan2005 | |||||
| |||||||
| |||||||
| |||||||
| |||||||
| |||||||
| |||||||
|