30 citations · 30 across the 5 of their papers we have counts for
Showing 2018Show all
2 papers · 1 filter
cs.LO2018
Proceedings Ninth International Symposium on Games, Automata, Logics, and Formal Verification
Andrea Orlandini, Martin Zimmermann
This volume contains the proceedings of the Ninth International Symposium on Games, Automata, Logic and Formal Verification (GandALF 2018). The symposium took place in Saarbrücken,…
cs.AI2018
A game-theoretic approach to timeline-based planning with uncertainty
Nicola Gigante, Angelo Montanari, Marta Cialdea Mayer +2
In timeline-based planning, domains are described as sets of independent, but interacting, components, whose behaviour over time (the set of timelines) is governed by a set of temp…