Smaller Abstractions for FOR ALL CTL* without Next.

Kai Engelhardt Ralf Huuck

Published in: Concurrency, Compositionality, and Correctness (2010)

Keyphrases

multi agent
temporal logic
model checking
cooperative
temporal properties
high level
computation tree logic
artificial intelligence
computer vision
information systems
clustering algorithm
expert systems
minimal change