Non-null Infinitesimal Micro-steps: a Metric Temporal Logic Approach

Luca Ferrucci, Dino Mandrioli, Angelo Morzenti +1

Many systems include components interacting with each other that evolve with possibly very different speeds. To deal with this situation many formal models adopt the abstraction of…