Optimal Reachability for Weighted Timed Games.

Rajeev Alur Mikhail Bernadsky P. Madhusudan

Published in: ICALP (2004)

Keyphrases

weighted majority
optimal design
optimal solution
game theory
computer games
neural network
optimal control
transitive closure
minimum error