Optimal enforcement of (timed) properties with uncontrollable events.
Matthieu RenardYliès FalconeAntoine RolletThierry JéronHervé MarchandPublished in: Math. Struct. Comput. Sci. (2019)
Keyphrases
- finding optimal
- desirable properties
- closed form
- dynamic programming
- worst case
- structural properties
- petri net
- optimal solution
- optimal control
- access control
- social media
- case study
- database
- artificial intelligence
- learning algorithm
- information retrieval
- machine learning
- exhaustive search
- optimal strategy
- optimal design
- real time