Temporal reachability minimization: Delaying vs. deleting.
Hendrik MolterMalte RenkenPhilipp ZschochePublished in: J. Comput. Syst. Sci. (2024)
Keyphrases
- model checking
- temporal information
- temporal reasoning
- temporal databases
- state space
- spatial and temporal
- temporal dimension
- objective function
- spatio temporal
- temporal constraints
- temporal patterns
- temporal data
- data sets
- transitive closure
- evolutionary algorithm
- time stamped
- dynamic programming
- cost function
- multimedia
- machine learning
- neural network