ResearchTrend.AI
148
0
v1v2 (latest)

Synthesis of timeline-based planning strategies avoiding determinization

International Symposium on Games, Automata, Logics and Formal Verification (GandALF), 2024
Dario Della Monica
Angelo Montanari
Pietro Sala
ArXiv (abs)PDFHTMLGithub
Main:31 Pages
8 Figures
Bibliography:2 Pages
3 Tables
Abstract

Qualitative timeline-based planning models domains as sets of independent, but

View on arXiv
Comments on this paper