1 citations · 1 across the 2 of their papers we have counts for
2 papers
cs.FL2024
Inform: From Compartmental Models to Stochastic Bounded Counter Machines
Tim Leys, Guillermo A. Perez
Compartmental models are used in epidemiology to capture the evolution of infectious diseases such as COVID-19 in a population by assigning members of it to compartments with label…
cs.AI2023★ 1 cited
Synthesizing Efficiently Monitorable Formulas in Metric Temporal Logic
Ritam Raha, Rajarshi Roy, Nathanael Fijalkow +2
In runtime verification, manually formalizing a specification for monitoring system executions is a tedious and error-prone process. To address this issue, we consider the problem…