×

Found 3 Documents (Results 1–3)

Newest Citations Relevance
Acampora, Renato; Geatti, Luca; Gigante, Nicola; Montanari, Angelo; Picotti, Valentino

Controller synthesis for timeline-based games. (English) Zbl 1530.68238

Ganty, Pierre (ed.) et al., Proceedings of the 13th international symposium on games, automata, logics, and formal verification, GandALF 2022, Madrid, Spain, September 21–23, 2022. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 370, 131-146 (2022).
MSC:  68T20 68Q60 91A99
Cite Review PDF
Full Text: arXiv Link
Gigante, Nicola; Montanari, Angelo; Cialdea, Mayer Marta; Orlandini, Andrea; Reynolds, Mark

A game-theoretic approach to timeline-based planning with uncertainty. (English) Zbl 1487.68213

Alechina, Natasha (ed.) et al., 25th international symposium on temporal representation and reasoning. TIME 2018, Warsaw, Poland, October 15–17, 2018. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 120, Article 13, 17 p. (2018).
MSC:  68T20 91A80
Cite Review PDF
Full Text: DOI arXiv

Filter Results by …

Document Type

all top 5

Author

Year of Publication

Main Field

Software