Marco Montali

3

papers

11

total citations

papers (3)

Generating Counterfactual Explanations Under Temporal Constraints

Linear-Time Verification of Data-Aware Processes Modulo Theories via Covers and Automata

Foundations of Reactive Synthesis for Declarative Process Specifications