Safety first: A two-stage algorithm for LTL games.
Saqib SohailFabio SomenziPublished in: FMCAD (2009)
Keyphrases
- improved algorithm
- preprocessing
- times faster
- optimal solution
- optimization algorithm
- theoretical analysis
- probabilistic model
- detection algorithm
- neural network
- dynamic programming
- np hard
- search space
- computational complexity
- objective function
- experimental evaluation
- computational cost
- high accuracy
- k means
- learning algorithm
- scheduling problem
- worst case
- expectation maximization
- segmentation algorithm
- convergence rate
- inference rules