Andrea Turrini
2 papers
· 2018–2021
· 1 conference
· across top CS/AI conferences
Achievements
π
Interdisciplinary Bridge
π§
Keyword Pioneer
π
Cross-Pollinator
(6)
Conferences
IJCAI (2)
Top co-authors
Keywords
mixed integer programming
(1)
model checking
(1)
smt solver
(1)
probabilistic epistemic logic
(1)
probabilistic multiagent system
(1)
memoryless scheduler
(1)
strategy synthesis
(1)
automata theory
(1)
linear temporal logic
(1)
multi-agent system
(1)
game solving
(1)
deterministic automaton
(1)
linear temporal logic over finite trace
(1)
deterministic bΓΌchi automata
(1)