Incremental Computation of Succinct Abstractions for Hybrid Systems

Bibliographic details

Authors

Tomáš Dzetkulič

Publication year

2011

Publication type

Abstrakt

Periodical

Doktorandské dny '11

Projects

• Verification of Hybrid Systems - Exploiting the Synergy with Underlying Constraint Solving Technology
• Res Informatica
• Efficient handling of non-linear numerical constraints arising in the automated reasoning about rich models of computer systems

Bibliographic citation

DZETKULIČ, Tomáš. Incremental Computation of Succinct Abstractions for Hybrid Systems. In: KUŽELOVÁ, D., HAKL, F., eds. Doktorandské dny '11. Praha: Ústav informatiky AV ČR, v. v. i. & MATFYZPRESS, 2011, S. 19. ISBN 978-80-7378-170-5.

ID

364971