Publicações

Foundations of Quantitative Predicate Abstraction for Stability Analysis of Hybrid Systems

AuthID
P-00T-P1M

Author(s)

Prabhakar, P

Soto, MG

Editor(s)

D'Souza,D;Lal,A;Larsen,KG

Document Type

Proceedings Paper

Year published

2015

Published

in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), ISSN: 0302-9743

Volume: 8931, Pages: 318-335

Conference

16Th International Conference on Verification, Model Checking, and Abstract Interpretation, Vmcai 2015, Date: 12 January 2015 through 14 January 2015, Sponsors: Microsoft Research;National Science Foundation (NSF)

Indexing