Synchronizing Words for Weighted and Timed Automata.

Laurent Doyen Line Juhl Kim Guldstrand Larsen Nicolas Markey Mahsa Shirmohammadi

Published in: FSTTCS (2014)

Keyphrases

timed automata
model checking
reachability analysis
theorem prover
n gram
theorem proving
weighted sum
keywords
temporal logic
word segmentation
word sense disambiguation
real time systems
word pairs
linguistic information
related words
first order logic
graphical models