Communities
Connect sessions
AI calendar
Organizations
Join Slack
Contact Sales
Search
Open menu
Home
Papers
2209.10319
Cited By
Controller Synthesis for Timeline-based Games
International Symposium on Games, Automata, Logics and Formal Verification (GANDALF), 2022
21 September 2022
Renato Acampora
Luca Geatti
N. Gigante
A. Montanari
Valentino Picotti
Re-assign community
ArXiv (abs)
PDF
HTML
Papers citing
"Controller Synthesis for Timeline-based Games"
1 / 1 papers shown
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
146
0
0
23 Jul 2025
1
Page 1 of 1
