On-The-Fly Algorithm for Reachability in Parametric Timed Games.
Mikael Bisgaard Dahlsen-JensenBaptiste FievetLaure PetrucciJaco van de PolPublished in: TACAS (3) (2024)
Keyphrases
- learning algorithm
- optimal solution
- preprocessing
- times faster
- experimental evaluation
- computational complexity
- matching algorithm
- cost function
- theoretical analysis
- worst case
- high accuracy
- detection algorithm
- segmentation algorithm
- input data
- neural network
- probabilistic model
- dynamic programming
- search space
- similarity measure
- linear programming
- expectation maximization
- computationally efficient
- computational cost
- optimization algorithm
- significant improvement
- path planning
- convex hull
- convergence rate