0339966 - ÚI 2010 RIV DE eng C - Conference Paper (international conference)
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 - others:AVACS(DE) SFB/TR 14 AVACS
Institutional research plan: CEZ:AV0Z10300504
Keywords : hybrid systems * verification * constraint solving
Subject RIV: BA - General Mathematics
Permanent Link: http://hdl.handle.net/11104/0183323