sampling methods in discrete online - Githubissues

nickovic / rtamt

Specification-based real-time monitoring library

BSD 3-Clause "New" or "Revised" License

50 stars 20 forks source link

sampling methods in discrete online #142

Closed TomyYamy closed 2 years ago

TomyYamy commented 2 years ago

Those codes are migrated from spec to evaluator. We need to discuss how we may handle it in evaluator. https://github.com/nickovic/rtamt/blob/e82e80cb37846d3880a1277e82341ffc584964b6/rtamt/operation/abstract_discrete_time_online_evaluator.py#L66-L104

TomyYamy commented 2 years ago

We are done.