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

I Tkachev; A Abate

doi:10.1145/2461328.2461372

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

I Tkachev
, A Abate

Team Bart De Schutter

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

37 Citations (Scopus)

Original language	English
Title of host publication	Proceedings of the 16th International Conference on Hybrid Systems: Computation and Control
Editors	C Belta, F Ivancic
Place of Publication	New York, NY, USA
Publisher	Association for Computing Machinery (ACM)
Pages	283-292
Number of pages	10
ISBN (Print)	978-1-4503-1567-8
DOIs	https://doi.org/10.1145/2461328.2461372
Publication status	Published - 2013
Event	HSCC 2013, Philadelphia, PA, USA - New York, NY, USA Duration: 8 Apr 2013 → 11 Apr 2013

Publication series

Name
Publisher	ACM

Conference

Conference	HSCC 2013, Philadelphia, PA, USA
Period	8/04/13 → 11/04/13

Bibliographical note

NEO

Access to Document

10.1145/2461328.2461372

Cite this

@inproceedings{7938ba7f548746c0a1221e47e5272368,

title = "Formula-free finite abstractions for linear temporal verification of stochastic hybrid systems",

author = "I Tkachev and A Abate",

note = "NEO; HSCC 2013, Philadelphia, PA, USA ; Conference date: 08-04-2013 Through 11-04-2013",

year = "2013",

doi = "10.1145/2461328.2461372",

language = "English",

isbn = "978-1-4503-1567-8",

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

pages = "283--292",

editor = "C Belta and F Ivancic",

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

address = "United States",

}

Tkachev, I & Abate, A 2013, Formula-free finite abstractions for linear temporal verification of stochastic hybrid systems. in C Belta & F Ivancic (eds), Proceedings of the 16th International Conference on Hybrid Systems: Computation and Control. Association for Computing Machinery (ACM), New York, NY, USA, pp. 283-292, HSCC 2013, Philadelphia, PA, USA, 8/04/13. https://doi.org/10.1145/2461328.2461372

Formula-free finite abstractions for linear temporal verification of stochastic hybrid systems. / Tkachev, I; Abate, A.
Proceedings of the 16th International Conference on Hybrid Systems: Computation and Control. ed. / C Belta; F Ivancic. New York, NY, USA: Association for Computing Machinery (ACM), 2013. p. 283-292.

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

TY - GEN

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

AU - Tkachev, I

AU - Abate, A

N1 - NEO

PY - 2013

Y1 - 2013

U2 - 10.1145/2461328.2461372

DO - 10.1145/2461328.2461372

M3 - Conference contribution

SN - 978-1-4503-1567-8

SP - 283

EP - 292

BT - Proceedings of the 16th International Conference on Hybrid Systems: Computation and Control

A2 - Belta, C

A2 - Ivancic, F

PB - Association for Computing Machinery (ACM)

CY - New York, NY, USA

T2 - HSCC 2013, Philadelphia, PA, USA

Y2 - 8 April 2013 through 11 April 2013

ER -