×

Found 3 Documents (Results 1–3)

Optimal and robust controller synthesis. Using energy timed automata with uncertainty. (English) Zbl 1460.93031

Havelund, Klaus (ed.) et al., Formal methods. 22nd international symposium, FM 2018, held as part of the federated logic conference, FloC 2018, Oxford, UK, July 15–17, 2018. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10951, 203-221 (2018).
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Document Type

Year of Publication

Main Field