PlayGame: A Platform for Diagnostic Games
No abstract available.
DOI 10.1007/978-3-540-27813-9_44
Related papers
- GAVS+: An Open Platform for the Research of Algorithmic Game Solving TACAS 2011
- Experience report: functional programming of mHealth applications ICFP 2013
- Multi-platform Auto-vectorization CGO 2006
- Timed Diagnostics for Reachability Properties TACAS 1999
- Efficient Diagnostic Generation for Boolean Equation Systems TACAS 2000
- Generating Diagnostic Information for Behavioral Preorders CAV 1992
- Diagnostic Information for Realizability VMCAI 2008
- Parse Forest Diagnostics with Dr. Ambiguity SLE 2011