Lucas M. Tabajara
2 papers
· 2017–2021
· 1 conference
· across top CS/AI conferences
Achievements
🌉
Interdisciplinary Bridge
🧭
Keyword Pioneer
🐝
Cross-Pollinator
(15)
📈
Trend Setter
Conferences
IJCAI (2)
Top co-authors
Keywords
linear temporal logic
(2)
game theory
(2)
symbolic computation
(1)
fairness constraint
(1)
strategy synthesis
(1)
automata theory
(1)
finite trace
(1)
deterministic finite automaton
(1)
symbolic synthesis
(1)
boolean formula
(1)
temporal logic synthesis
(1)
generalized reactivity
(1)
temporal synthesis
(1)
gr(1) specification
(1)
formal verification
(1)