Number of the records: 1
Constraints for Continuous Reachability in the Verification of Hybrid Systems
- 1.Ratschan, S., She, Z. Constraints for Continuous Reachability in the Verification of Hybrid Systems. In: CALMET, J., IDA, T., WANG, D., eds. Artificial Intelligence and Symbolic Computation. Berlin: Springer, 2006, s. 196-210. Lecture Notes in Artificial Intelligence, 4120. ISBN 3-540-39728-0. Available: doi: 10.1007/11856290_18
Number of the records: 1