Adaptive Gridding for Abstraction and Verification of Stochastic Hybrid Systems

S Esmaeil Zadeh Soudjani, A Abate

Research output: Chapter in Book/Conference proceedings/Edited volumeConference contributionScientificpeer-review

31 Citations (Scopus)
Original languageEnglish
Title of host publicationQEST '11
EditorsJoost-Pieter Katoen
Place of PublicationAachen
Pages59-68
Number of pages10
Publication statusPublished - 2011
Event8th International Conference on Quantitave Evaluation of SysTems (QEST) 2011 - Aachen
Duration: 5 Sept 20118 Sept 2011

Conference

Conference8th International Conference on Quantitave Evaluation of SysTems (QEST) 2011
Period5/09/118/09/11

Cite this