AAAI 2024 paper

Foundations of Reactive Synthesis for Declarative Process Specifications

0citations

0

citations

#1675

in AAAI 2024

of 2289 papers

3

Top Authors

1

Data Points

Top Authors

Andrey Rivkin Luca Geatti Marco Montali

Citation History

Jan 28, 2026

0