Formula-free finite abstractions for linear temporal verification of stochastic hybrid systems

I Tkachev, A Abate

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

18 Citations (Scopus)
Original languageEnglish
Title of host publicationProceedings of the 16th International Conference on Hybrid Systems: Computation and Control
EditorsC Belta, F Ivancic
Place of PublicationNew York, NY, USA
PublisherAssociation for Computing Machinery (ACM)
Pages283-292
Number of pages10
ISBN (Print)978-1-4503-1567-8
DOIs
Publication statusPublished - 2013
EventHSCC 2013, Philadelphia, PA, USA - New York, NY, USA
Duration: 8 Apr 201311 Apr 2013

Publication series

Name
PublisherACM

Conference

ConferenceHSCC 2013, Philadelphia, PA, USA
Period8/04/1311/04/13

Cite this