Optimal Reachability in Weighted Timed Automata and Games.

Patricia Bouyer-Decitre

Published in: MFCS (2016)

Keyphrases

timed automata
optimal solution
dynamic programming
weighted majority
game theory
search algorithm
model checking
lp norm
neural network
state space
closed form
computer games
incomplete information
theorem prover
transitive closure
order statistics