-
Selection by year
-
Selection by authors
-
Complete lists
helouet:hal-02291241
L. Hélouet, N. Markey, R. Raha. Reachability Games with Relaxed Energy Constraints. In GandALF 2019 - Tenth International Symposium on Games, Automata, Logics, and Formal Verification, EPTCS, Volume 305, Pages 17-33, Bordeaux, France, September 2019.
Contact
Loic Hélouet http://people.irisa.fr/Loic.Helouet/
Nicolas Markey http://people.rennes.inria.fr/Nicolas.Markey/
BibTex Reference
@InProceedings{helouet:hal-02291241,
Author = {Hélouet, L. and Markey, N. and Raha, R.},
Title = {{Reachability Games with Relaxed Energy Constraints}},
BookTitle = {{GandALF 2019 - Tenth International Symposium on Games, Automata, Logics, and Formal Verification}},
Volume = {305},
Pages = {17--33},
Series = {EPTCS},
Address = {Bordeaux, France},
Month = {September},
Year = {2019}
}
EndNote Reference [help]
Get EndNote Reference (.ref)