Strategy Improvement for Concurrent Reachability and Safety Games ∗ ,† ,‡ Krishnendu Chatterjee† Luca de Alfaro§

Source URL: pub.ist.ac.at

• Mathematics
• Probability
• Game theory
• Game artificial intelligence
• Search algorithms
• Memorylessness
• Determinacy
• Markov decision process
• Reachability
• Strategy
• A* search algorithm
• Stochastic game

Effectively-Propositional Reasoning about Reachability in Linked Data Structures ? Shachar Itzhaky1 , Anindya Banerjee2 , Neil Immerman3 , Aleksandar Nanevski2 , and Mooly Sagiv1 1

Source URL: people.cs.umass.edu

The complexity of solving reachability games using value and strategy iteration ∗ Kristoffer Arnsfelt Hansen, Rasmus Ibsen-Jensen, and Peter Bro Miltersen Aarhus University {arnsfelt,rij,pbmiltersen}@cs.au.dk

Source URL: www.cs.au.dk

M EMORAX, a precise and sound tool for automatic fence insertion under TSO ? Parosh Aziz Abdulla1 , Mohamed Faouzi Atig1 , Yu-Fang Chen2 , Carl Leonardsson1 , and Ahmed Rezine3 1

Source URL: user.it.uu.se

• Theoretical computer science
• Mathematics
• Finite automata
• Computing
• Theory of computation
• Formal methods
• Reachability problem
• Logic in computer science
• Model checking
• Memory barrier
• Preorder
• Algorithm

Graph games with perfect information Dietmar Berwanger∗ MPRI

Source URL: www.lsv.ens-cachan.fr

• Game theory
• Finite model theory
• Parity game
• Determinacy
• Reachability

First-order logic with reachability for infinite-state systems Emanuele D’Osualdo Georg Zetzsche ∗ Roland Meyer

Source URL: www.lsv.ens-cachan.fr

Reachability analysis of first-order definable pushdown systems (= pushdown systems in sets with atoms) Sławomir Lasota University of Warsaw

Source URL: www.mimuw.edu.pl

Approximate Reachability Analysis of Piecewise-Linear Dynamical Systems? Eugene Asarin1 , Olivier Bournez2 , Thao Dang1 , and Oded Maler1 1 2

Source URL: www-verimag.imag.fr

Fundamenta InformaticaeRevised June 19, –300 IOS Press Improving Reachability Analysis of Infinite State Systems by Specialization Fabio Fioravanti

Source URL: www.sci.unich.it

Why Multi-Result Supercompilation Matters: Case Study of Reachability Problems for Transition Systems (meta 2012)

Source URL: meta2012.pereslavl.ru