Certificates and Witnesses for Multi-objective Queries in Markov Decision Processes
Activity: Talk or presentation at external institutions/events › Talk/Presentation › Contributed
Persons and affiliations
Date
10 Sept 2024
Conference
| Title | 1st International Joint Conference on Quantitative Evaluation of SysTems & Formal Modeling and Analysis of Timed Systems |
|---|---|
| Abbreviated title | QEST+FORMATS 2024 |
| Description | part of the CONFEST 2024 conference |
| Duration | 9 - 13 September 2024 |
| Website | |
| Degree of recognition | International event |
| Location | Best Western Plus Village Park Inn |
| City | Calgary |
| Country | Canada |