Fairness Assumptions for CSP in a Temporal Logic Framework.

Ruurd Kuiper Willem P. de Roever

Published in: Formal Description of Programming Concepts (1982)

Keyphrases

temporal logic
model checking
constraint satisfaction problems
satisfiability problem
reinforcement learning
np hard
modal logic
logical framework
concurrent systems