@misc{indiciae9f9a0e6b9a98,
  title = {On-the-Fly Construction of Composite Events in Scenario-Based Modeling using Constraint Solvers},
  author = {Guy Katz and Assaf Marron and Aviran Sadon and Gera Weiss},
  year = {2020},
  url = {https://arxiv.org/abs/1909.00408},
  note = {Source identifier: 1909.00408}
}