Reachability - PDFSEARCH.IO - Document Search Engine

Reachability
Results: 243

#	Item
71	Strategy Improvement for Concurrent Reachability and Safety Games ∗ ,† ,‡ Krishnendu Chatterjee† Luca de Alfaro§ Add to Reading List Source URL: pub.ist.ac.at Language: English - Date: 2012-01-22 05:31:56 Mathematics Probability Game theory Game artificial intelligence Search algorithms Memorylessness Determinacy Markov decision process Reachability Strategy A* search algorithm Stochastic game
72	Effectively-Propositional Reasoning about Reachability in Linked Data Structures ? Shachar Itzhaky1 , Anindya Banerjee2 , Neil Immerman3 , Aleksandar Nanevski2 , and Mooly Sagiv1 1 Add to Reading List Source URL: people.cs.umass.edu Language: English - Date: 2013-08-16 13:26:00
73	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 Add to Reading List Source URL: www.cs.au.dk Language: English - Date: 2015-08-11 05:53:51
74	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 Add to Reading List Source URL: user.it.uu.se Language: English - Date: 2013-11-24 07:41:22 Theoretical computer science Mathematics Finite automata Computing Theory of computation Formal methods Reachability problem Logic in computer science Model checking Memory barrier Preorder Algorithm
75	Graph games with perfect information Dietmar Berwanger∗ MPRI Add to Reading List Source URL: www.lsv.ens-cachan.fr Language: English - Date: 2013-02-21 07:55:45 Game theory Finite model theory Parity game Determinacy Reachability
76	First-order logic with reachability for infinite-state systems Emanuele D’Osualdo Georg Zetzsche ∗ Roland Meyer Add to Reading List Source URL: www.lsv.ens-cachan.fr Language: English - Date: 2016-04-08 04:14:45
77	Reachability analysis of first-order definable pushdown systems (= pushdown systems in sets with atoms) Sławomir Lasota University of Warsaw Add to Reading List Source URL: www.mimuw.edu.pl Language: English - Date: 2016-03-03 14:19:53
78	Approximate Reachability Analysis of Piecewise-Linear Dynamical Systems? Eugene Asarin1 , Olivier Bournez2 , Thao Dang1 , and Oded Maler1 1 2 Add to Reading List Source URL: www-verimag.imag.fr Language: English - Date: 2006-04-28 14:44:55
79	Fundamenta InformaticaeRevised June 19, –300 IOS Press Improving Reachability Analysis of Infinite State Systems by Specialization Fabio Fioravanti Add to Reading List Source URL: www.sci.unich.it Language: English - Date: 2013-07-17 03:25:09
80	Why Multi-Result Supercompilation Matters: Case Study of Reachability Problems for Transition Systems (meta 2012) Add to Reading List Source URL: meta2012.pereslavl.ru Language: English - Date: 2012-08-19 16:00:00

UPDATE