Fearnley, John, Gairing, Martin, Mnich, Matthias and Savani, Rahul ORCID: 0000-0003-1262-7831
(2021)
REACHABILITY SWITCHING GAMES.
In: ICALP 2018.
![]() |
Text
note.pdf - Author Accepted Manuscript Download (534kB) |
Official URL: http://www.dagstuhl.de/dagpub/978-3-95977-076-7
Item Type: | Conference or Workshop Item (Unspecified) |
---|---|
Uncontrolled Keywords: | Deterministic Random Walks, Model Checking, Reachability, Simple Stochastic Game, Switching Systems |
Depositing User: | Symplectic Admin |
Date Deposited: | 22 May 2018 09:36 |
Last Modified: | 19 Jan 2023 06:34 |
DOI: | 10.23638/LMCS-17(2:10)2021 |
Related URLs: | |
URI: | https://livrepository.liverpool.ac.uk/id/eprint/3020805 |
Dimensions
Altmetric
Share
CORE (COnnecting REpositories)