Alexander Tuisov

Publication Activity (10 Years)

Years Active: 2016-2021
Publications (10 Years): 6

Top Topics

Temporally Extended Goals

Automated Verification

Reactive Agents

Top Venues

Publications

Gregory Goren, Roee Shraga, Alexander Tuisov
OSOUM Framework for Trading Data Research. CoRR (2021)
Alexander Tuisov, Michael Katz
The Fewer the Merrier: Pruning Preferred Operators with Novelty. IJCAI (2021)
Alexander Tuisov, Liron Yedidsion
The Continuous Joint Replenishment Problem is Strongly NP-Hard. CoRR (2020)
Alexander Tuisov, Erez Karpas
Automated Verification of Social Law Robustness for Reactive Agents. ECAI (2020)
Michael Katz, Nir Lipovetzky, Dany Moshkovich, Alexander Tuisov
Adapting Novelty to Classical Planning as Heuristic Search. ICAPS (2017)
Alexander Shleyfman, Alexander Tuisov, Carmel Domshlak
Blind Search for Atari-Like Online Planning Revisited. IJCAI (2016)