Počet záznamů: 1
Constraints for Continuous Reachability in the Verification of Hybrid Systems
- 1.0339966 - ÚI 2010 RIV DE eng C - Konferenční příspěvek (zahraniční konf.)
Ratschan, Stefan - She, Z.
Constraints for Continuous Reachability in the Verification of Hybrid Systems.
Artificial Intelligence and Symbolic Computation. Berlin: Springer, 2006 - (Calmet, J.; Ida, T.; Wang, D.), s. 196-210. Lecture Notes in Artificial Intelligence, 4120. ISBN 3-540-39728-0.
[AISC 2006. International Conference on Artificial Intelligence and Symbolic Computation /8./. Beijing (CN), 20.09.2006-22.09.2006]
Grant ostatní: AVACS(DE) SFB/TR 14 AVACS
Výzkumný záměr: CEZ:AV0Z10300504
Klíčová slova: hybrid systems * verification * constraint solving
Kód oboru RIV: BA - Obecná matematika
Trvalý link: http://hdl.handle.net/11104/0183323
Počet záznamů: 1