A Kleene-Schützenberger Theorem for Weighted Timed Automata.

Manfred Droste Karin Quaas

Published in: FoSSaCS (2008)

Keyphrases

timed automata
model checking
reachability analysis
propositional logic
theorem prover
first order logic
theorem proving
website
temporal logic
real time systems
weighted graph
von neumann
real world
evolutionary algorithm
artificial intelligence
weighted distance
genetic algorithm