Regular Separability of Well Structured Transition Systems.

Wojciech Czerwinski Slawomir Lasota

Published in: CoRR (2017)

Keyphrases

transition systems
model checking
concurrent systems
temporal logic
finite state
practical reasoning
control flow
distributed systems
petri net
markov decision processes
model checker
reactive systems