On-The-Fly Algorithm for Reachability in Parametric Timed Games (Extended Version).
Mikael Bisgaard Dahlsen-JensenBaptiste FievetLaure PetrucciJaco van de PolPublished in: CoRR (2024)
Keyphrases
- learning algorithm
- detection algorithm
- optimization algorithm
- cost function
- improved algorithm
- classification algorithm
- theoretical analysis
- significant improvement
- optimal solution
- computational complexity
- preprocessing
- search space
- computational cost
- probabilistic model
- expectation maximization
- experimental evaluation
- segmentation algorithm
- input data
- computationally efficient
- dynamic programming
- k means
- tree structure
- monte carlo
- image segmentation
- times faster
- neural network