Stubborn Sets for Simple Linear Time Properties.

Andreas Lehmann Niels Lohmann Karsten Wolf

Published in: Petri Nets (2012)

Keyphrases

weighted average
website
evolutionary algorithm
information retrieval
expert systems
worst case
highly reliable
set theoretic