Temporal logic control for stochastic linear systems using abstraction refinement of probabilistic games release_kwmvhhavhzcq5lktx4az3mvbjq

by Mária Svoreňová, Jan Křetínský, Martin Chmelík, Krishnendu Chatterjee, Ivana Černá, Calin Belta

Published in International Conference on Hybrid Systems: Computation and Control by ACM Press.

2015   p259-268

Archived Files and Locations

application/pdf  1.2 MB
file_4mntb7whfrgtxdm7epha2k4wrq
sites.bu.edu (web)
web.archive.org (webarchive)
application/pdf  2.4 MB
file_2zjhjwivprbirkjxfegepy22xu
ora.ox.ac.uk (web)
web.archive.org (webarchive)
Read Archived PDF
Preserved and Accessible
Type  paper-conference
Stage   published
Year   2015
Work Entity
access all versions, variants, and formats of this works (eg, pre-prints)
Catalog Record
Revision: 1d95a054-3d52-4423-be1e-2538637b8f10
API URL: JSON