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

I Tkachev; A Abate

doi:10.1145/2562059.2562118

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

I Tkachev, A Abate

Team Bart De Schutter

Research output: Chapter in Book/Conference proceedings/Edited volume › Conference contribution › Scientific › peer-review

6 Citations (Scopus)

Original language	English
Title of host publication	Proceedings of the 17th International conference on Hybrid Systems: Computation and Control
Place of Publication	New York, NY, USA
Publisher	Association for Computing Machinery (ACM)
Pages	193-202
Number of pages	10
ISBN (Print)	978-1-4503-2732-9
DOIs	https://doi.org/10.1145/2562059.2562118
Publication status	Published - 2014
Event	HSCC'14, Berlin, Germany - New York, NY, USA Duration: 15 Apr 2014 → 17 Apr 2014

Publication series

Name
Publisher	ACM

Conference

Conference	HSCC'14, Berlin, Germany
Period	15/04/14 → 17/04/14

Bibliographical note

harvest

Keywords

Conf.proc. > 3 pag

Access to Document

10.1145/2562059.2562118

Cite this

@inproceedings{25ff3d37434249e39d64a4df09be30cc,

title = "On approximation metrics for linear temporal model-checking of stochastic systems",

keywords = "Conf.proc. > 3 pag",

author = "I Tkachev and A Abate",

note = "harvest; HSCC'14, Berlin, Germany ; Conference date: 15-04-2014 Through 17-04-2014",

year = "2014",

doi = "10.1145/2562059.2562118",

language = "English",

isbn = "978-1-4503-2732-9",

publisher = "Association for Computing Machinery (ACM)",

pages = "193--202",

booktitle = "Proceedings of the 17th International conference on Hybrid Systems: Computation and Control",

address = "United States",

}

On approximation metrics for linear temporal model-checking of stochastic systems. / Tkachev, I; Abate, A.
Proceedings of the 17th International conference on Hybrid Systems: Computation and Control. New York, NY, USA: Association for Computing Machinery (ACM), 2014. p. 193-202.

Research output: Chapter in Book/Conference proceedings/Edited volume › Conference contribution › Scientific › peer-review

TY - GEN

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

AU - Tkachev, I

AU - Abate, A

N1 - harvest

PY - 2014

Y1 - 2014

KW - Conf.proc. > 3 pag

U2 - 10.1145/2562059.2562118

DO - 10.1145/2562059.2562118

M3 - Conference contribution

SN - 978-1-4503-2732-9

SP - 193

EP - 202

BT - Proceedings of the 17th International conference on Hybrid Systems: Computation and Control

PB - Association for Computing Machinery (ACM)

CY - New York, NY, USA

T2 - HSCC'14, Berlin, Germany

Y2 - 15 April 2014 through 17 April 2014

ER -