Rivkin, Andrey

2 publications

AAAI 2024 Foundations of Reactive Synthesis for Declarative Process Specifications Luca Geatti, Marco Montali, Andrey Rivkin

IJCAI 2023 Safety Verification and Universal Invariants for Relational Action Bases Silvio Ghilardi, Alessandro Gianola, Marco Montali, Andrey Rivkin