Proc. of QEST 2018: the 15th International Conference on Quantitative Evaluation of Systems
Event name
Proc. of QEST 2018: the 15th International Conference on Quantitative Evaluation of Systems
Event type
Event for scientific audience
Start date
04-09-2018
End date
07-09-2018
Location
Beijing, China
Country
Event format Veranstaltungsformat
On Site
Results 1-3 of 3 (Search time: 0.001 seconds).
| Preview | Authors / Editors | Title | Type | Issue Date | |
|---|---|---|---|---|---|
| 1 | Nenzi, Laura ; Silvetti, Simone ; Bartocci, Ezio ; Bortolussi, Luca | A Robust Genetic Algorithm for Learning Temporal Specifications from Data | Konferenzbeitrag Inproceedings  | 2018 | |
| 2 | Cardelli, Luca ; Tribastone, Mirco ; Tschaikowski, Max ; Vandin, Andrea ; McIver, Annabelle ; Horvath, Andras | Guaranteed Error Bounds on Approximate Model Abstractions Through Reachability Analysis | Konferenzbeitrag Inproceedings | 2018 | |
| 3 | Arming, Sebastian ; Bartocci, Ezio ; Chatterjee, Krishnendu ; Katoen, Joost-Pieter ; Sokolova, Ana ; McIver, Annabelle ; Horvath, Andras | Parameter-Independent Strategies for pMDPs via POMDPs | Konferenzbeitrag Inproceedings | 2018 |