Bogomolov, Sergiy

2 publications

IJCAI 2018 Effect-Abstraction Based Relaxation for Linear Numeric Planning Dongxu Li, Enrico Scala, Patrik Haslum, Sergiy Bogomolov

AAAI 2014 Planning as Model Checking in Hybrid Domains Sergiy Bogomolov, Daniele Magazzeni, Andreas Podelski, Martin Wehrle