×

Found 3 Documents (Results 1–3)

Learning-based mean-payoff optimization in an unknown MDP under omega-regular constraints. (English) Zbl 1520.90206

Schewe, Sven (ed.) et al., 29th international conference on concurrency theory. CONCUR 2018, Beijing, China, September 4–7, 2018. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 118, Article 8, 18 p. (2018).
MSC:  90C40 68T05
PDFBibTeX XMLCite
Full Text: DOI arXiv

Safe and optimal adaptive cruise control. (English) Zbl 1444.68183

Meyer, Roland (ed.) et al., Correct system design. Symposium in honor of Ernst-Rüdiger Olderog on the occasion of his 60th birthday, Oldenburg, Germany, September 8–9, 2015. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9360, 260-277 (2015).
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Document Type

Year of Publication

all top 3

Main Field

Software