by
Gerardo I. Simari, V.S. Subrahmanian, Amy Sliva
Language: English
Release Date: January 4, 2014
This Springer Brief presents a basic algorithm that provides a correct solution to finding an optimal state change attempt, as well as an enhanced algorithm that is built on top of the well-known trie data structure. It explores correctness and algorithmic complexity results for both algorithms and...