Andrey Rivkin — accepted AI-conference papers

2024

Foundations of Reactive Synthesis for Declarative Process Specifications

Luca Geatti, Marco Montali, Andrey Rivkin

AAAI 2024technical

Given a specification of Linear-time Temporal Logic interpreted over finite traces (LTLf), the reactive synthesis problem asks to find a finitely-representable, terminating controller that reacts to the uncontrollable actions of an environment in order to enforce a desired system specification. In t…

Cited by 4 Source ↗PDF ↗Scholar ↗

2023

Safety Verification and Universal Invariants for Relational Action Bases

Silvio Ghilardi, Alessandro Gianola, Marco Montali, Andrey Rivkin

IJCAI 2023poster

Modeling and verification of dynamic systems operating over a relational representation of states are increasingly investigated problems in AI, Business Process Management and Database Theory. To make these systems amenable to verification, the amount of information stored in each state needs to be…

Cited by 6 Source ↗PDF ↗code ↗Scholar ↗