search

heron-solver / heron

🏺 Simulation Solver for Timed Causality Models in TESL
MIT License
5 stars 1 forks source link

Resetting a time delayed implication #38

Closed hai-nguyen-van closed 6 years ago

hai-nguyen-van commented 6 years ago
  1. Implement a sporadic with reset on
  2. Implement time delayed by with the latter