Crossref Citations
This Book has been
cited by the following publications. This list is generated based on data provided by Crossref.
Canavoi, Felix
Grädel, Erich
and
Rabinovich, Roman
2012.
The discrete strategy improvement algorithm for parity games and complexity measures for directed graphs.
Electronic Proceedings in Theoretical Computer Science,
Vol. 96,
Issue. ,
p.
197.
Ghazvini, Mahdieh
Movahedinia, Naser
Jamshidi, Kamal
and
Moghim, Neda
2013.
Game Theory Applications in CSMA Methods.
IEEE Communications Surveys & Tutorials,
Vol. 15,
Issue. 3,
p.
1062.
Svorenova, Maria
Cerna, Ivana
and
Belta, Calin
2013.
Optimal control of MDPs with temporal logic constraints.
p.
3938.
Maubert, Bastien
Pinchinat, Sophie
and
Bozzelli, Laura
2013.
The Complexity of Synthesizing Uniform Strategies.
Electronic Proceedings in Theoretical Computer Science,
Vol. 112,
Issue. ,
p.
115.
MAUBERT, BASTIEN
and
PINCHINAT, SOPHIE
2014.
A GENERAL NOTION OF UNIFORM STRATEGIES.
International Game Theory Review,
Vol. 16,
Issue. 01,
p.
1440004.
Liu, Yang
2014.
Game theory semantics for PCTL model checking label-extended probabilistic Petri net.
p.
369.
Fu, Jie
Dimitrova, Rayna
and
Topcu, Ufuk
2014.
Abstractions and sensor design in partial-information, reactive controller synthesis.
p.
2297.
Ghazvini, Mahdieh
Movahhedinia, Naser
and
Jamshidi, Kamal
2015.
GCW: A Game Theoretic Contention Window Adjustment Approach for IEEE 802.11 WLANs.
Wireless Personal Communications,
Vol. 83,
Issue. 2,
p.
1101.
Dima, Cătălin
Maubert, Bastien
and
Pinchinat, Sophie
2015.
Mathematical Foundations of Computer Science 2015.
Vol. 9234,
Issue. ,
p.
179.
Fu, Jie
Tanner, Herbert G.
and
Heinz, Jeffrey
2015.
Concurrent multi‐agent systems with temporal logic objectives: game theoretic analysis and planning through negotiation.
IET Control Theory & Applications,
Vol. 9,
Issue. 3,
p.
465.
Khoufi, Ines
Minet, Pascale
Koulali, Mohamed-Amine
and
Erradi, Mohammed
2015.
A game theory-based approach for robots deploying wireless sensor nodes.
p.
557.
Tumova, Jana
and
Dimarogonas, Dimos V.
2016.
Synthesizing least-limiting guidelines for safety of semi-autonomous systems.
p.
5714.
Brenguier, Romain
Pérez, Guillermo A.
Raskin, Jean-François
and
Sankur, Ocan
2016.
Compositional Algorithms for Succinct Safety Games.
Electronic Proceedings in Theoretical Computer Science,
Vol. 202,
Issue. ,
p.
98.
Benerecetti, Massimo
Dell'Erba, Daniele
and
Mogavero, Fabio
2016.
A Delayed Promotion Policy for Parity Games.
Electronic Proceedings in Theoretical Computer Science,
Vol. 226,
Issue. ,
p.
30.
Benerecetti, Massimo
Dell’Erba, Daniele
and
Mogavero, Fabio
2016.
Hardware and Software: Verification and Testing.
Vol. 10028,
Issue. ,
p.
117.
Benerecetti, Massimo
Dell’Erba, Daniele
and
Mogavero, Fabio
2016.
Computer Aided Verification.
Vol. 9780,
Issue. ,
p.
270.
Pan, Haiyu
Li, Yongming
Cao, Yongzhi
and
Li, Dechao
2017.
Reachability in Fuzzy Game Graphs.
IEEE Transactions on Fuzzy Systems,
Vol. 25,
Issue. 4,
p.
972.
Filiot, Emmanuel
Jecker, Ismael
Lhote, Nathan
Perez, Guillermo A.
and
Raskin, Jean-Francois
2017.
On delay and regret determinization of max-plus automata.
p.
1.
Formisano, Andrea
Gentilini, Raffaella
and
Vella, Flavio
2017.
Accelerating Energy Games Solvers on Modern Architectures.
p.
1.
Benerecetti, Massimo
Dell'Erba, Daniele
and
Mogavero, Fabio
2017.
Robust Exponential Worst Cases for Divide-et-Impera Algorithms for Parity Games.
Electronic Proceedings in Theoretical Computer Science,
Vol. 256,
Issue. ,
p.
121.