Antonio Di Stasio
3 papers
· 2016–2021
· 1 conference
· across top CS/AI conferences
Achievements
🌉
Interdisciplinary Bridge
🧭
Keyword Pioneer
🏃
Academic Marathon
(5)
🐝
Cross-Pollinator
(11)
🐣
Hot Topic Early Bird
Conferences
IJCAI (3)
Top co-authors
Keywords
game theory
(1)
decision making
(1)
automated planning
(1)
sequential decision making
(1)
formal methods
(1)
formal verification
(1)
temporal logic
(1)
fairness constraint
(1)
linear temporal logic
(1)
finite trace
(1)
deterministic finite automaton
(1)
non-markovian domain
(1)
temporal logic synthesis
(1)
generalized reactivity
(1)
temporal synthesis
(1)
gr(1) specification
(1)