UTOPIC: Under-Approximation Through Optimal Control

Complete list of metadatas

Cited literature [55 references]  Display  Hide  Download

https://hal.inria.fr/hal-02283189
Contributor : Nicolas Gast <>
Submitted on : Tuesday, September 10, 2019 - 3:34:39 PM
Last modification on : Thursday, September 12, 2019 - 4:24:50 PM

File

qest2019.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-02283189, version 1

Collections

Citation

Josu Doncel, Nicolas Gast, Mirco Tribastone, Max Tschaikowski, Andrea Vandin. UTOPIC: Under-Approximation Through Optimal Control. QEST 2019 - 16th International Conference on Quantitative Evaluation of SysTems, Sep 2019, Glasgow, United Kingdom. pp.277-291. ⟨hal-02283189⟩

Share

Metrics

Record views

10

Files downloads

88