On approximation metrics for linear temporal model-checking of stochastic systems

I Tkachev, A Abate

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

4 Citations (Scopus)
Original languageEnglish
Title of host publicationProceedings of the 17th International conference on Hybrid Systems: Computation and Control
Place of PublicationNew York, NY, USA
PublisherAssociation for Computing Machinery (ACM)
Pages193-202
Number of pages10
ISBN (Print)978-1-4503-2732-9
DOIs
Publication statusPublished - 2014
EventHSCC'14, Berlin, Germany - New York, NY, USA
Duration: 15 Apr 201417 Apr 2014

Publication series

Name
PublisherACM

Conference

ConferenceHSCC'14, Berlin, Germany
Period15/04/1417/04/14

Keywords

  • Conf.proc. > 3 pag

Cite this