Nondeterministic Update of CTL Models by Preserving Satisfaction through Protections.

Miguel Carrillo, David A. Rosenblueth

Browse the full ATVA paper archive.