Higher-Order Approximations for Verification of Stochastic Hybrid Systems

S Esmaeil Zadeh Soudjani, A Abate

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

10 Citations (Scopus)
Original languageEnglish
Title of host publicationATVA 2012
EditorsSupratik Chakraborty, Madhavan Mukand
Place of PublicationThiruvananthapuram
Publishers.n.
Pages416-434
Number of pages19
Publication statusPublished - 2012
EventTenth International Symposium on Automated Technology for Verificatiobn and Analysis, ATVA 2012 - Thiruvananthapuram
Duration: 3 Oct 20126 Oct 2012

Publication series

Name
Publishers.n.

Conference

ConferenceTenth International Symposium on Automated Technology for Verificatiobn and Analysis, ATVA 2012
Period3/10/126/10/12

Keywords

  • Conf.proc. > 3 pag

Cite this