TY  - RPRT
TI  - On-the-Fly Construction of Composite Events in Scenario-Based Modeling using Constraint Solvers
AU  - Guy Katz
AU  - Assaf Marron
AU  - Aviran Sadon
AU  - Gera Weiss
PY  - 2020
UR  - https://arxiv.org/abs/1909.00408
ID  - 1909.00408
ER  -