Parsimonious Optimal Dynamic Partial Order Reduction.
Parosh Aziz AbdullaMohamed Faouzi AtigSarbojit DasBengt JonssonKonstantinos SagonasPublished in: CAV (2) (2024)
Keyphrases
- partial order reduction
- model checking
- database
- dynamically changing
- optimal solution
- digital libraries
- asymptotically optimal
- petri net
- dynamic environments
- worst case
- metadata
- data mining
- neural network
- real time
- reinforcement learning
- three dimensional
- dynamic programming
- case study
- knowledge base
- closed form
- optimal design
- databases
- finding optimal