Login / Signup
The State Complexity of \Sigma * L and its Connection with Temporal Logic.
Jean-Camille Birget
Published in:
Inf. Process. Lett. (1996)
Keyphrases
</>
temporal logic
model checking
dynamic constraints
modal logic
transition systems
concurrent systems
computational complexity
bounded model checking
mazurkiewicz traces
satisfiability problem
reinforcement learning
search algorithm
state space
decision problems
reactive systems
verification method