BibTeX
CSL-JSON
MLA
Harvard
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
Stage
Year 2015
paper-conference
Stage
published
Year 2015
Work Entity
access all versions, variants, and formats of this works (eg, pre-prints)
access all versions, variants, and formats of this works (eg, pre-prints)
Cite This
Lookup Links
oaDOI/unpaywall (OA fulltext)
Crossref Metadata (via API)
Worldcat
wikidata.org
CORE.ac.uk
Semantic Scholar
Google Scholar
Crossref Metadata (via API)
Worldcat
wikidata.org
CORE.ac.uk
Semantic Scholar
Google Scholar