Relay reachability algorithm for exploring huge state space

MaRDI QIDQ2852022zbMATH OpenFDO

Authors Gihwon Kwon

Publication date 7 October 2013

Full work available at URL http://www.sciencedirect.com/science/article/pii/S1571066106000673

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)

Recommendations

• Reachability games on automatic graphs
• Concurrent reachability games
• Automated Technology for Verification and Analysis
• Optimal strategies in pushdown reachability games
• Solving games via three-valued abstraction refinement

Cited in

(1)

• Automated Technology for Verification and Analysis

This page was built for publication: Relay reachability algorithm for exploring huge state space

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2852022)