Non-deterministic Temporal Logics for General Flow Systems.

Jennifer M. Davoren Vaughan Coulthard Nicolas Markey Thomas Moor

Published in: HSCC (2004)

Keyphrases

temporal logic
special case
distributed systems
model checking
concurrent systems
artificial intelligence
expert systems
mazurkiewicz traces
reinforcement learning
search algorithm
natural language
reactive systems