REACHABILITY SWITCHING GAMES



Fearnley, John, Gairing, Martin, Mnich, Matthias and Savani, Rahul ORCID: 0000-0003-1262-7831
(2021) REACHABILITY SWITCHING GAMES. .

[img] Text
note.pdf - Accepted Version

Download (534kB)
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: 11 Aug 2022 11:33
DOI: 10.23638/LMCS-17(2:10)2021
Related URLs:
URI: https://livrepository.liverpool.ac.uk/id/eprint/3020805