Search-Order Independent State Caching

DOI10.1007/978-3-642-18222-8_2zbMath1312.68132OpenAlexW1524019617MaRDI QIDQ3066131

Sami Evangelista, Lars Michael Kristensen

Publication date: 8 January 2011

Published in: Transactions on Petri Nets and Other Models of Concurrency IV (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-18222-8_2

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)

Related Items

Improving Search Order for Reachability Testing in Timed Automata

Uses Software

• DiVinE