Login / Signup
Synthesis of Weighted Marked Graphs from Constrained Labelled Transition Systems: A Geometric Approach.
Raymond R. Devillers
Evgeny Erofeev
Thomas Hujsa
Published in:
CoRR (2019)
Keyphrases
</>
transition systems
temporal logic
weighted graph
concurrent systems
model checking
finite state
practical reasoning
control flow
domain specific
data flow
social networks
heuristic search
model checker