Počet záznamů: 1
Constraints for Continuous Reachability in the Verification of Hybrid Systems
- 1.RATSCHAN, Stefan, 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. Dostupné z: doi: 10.1007/11856290_18
Počet záznamů: 1