Modular Automated Verification of Flexible Manufacturing Systems with Metric Temporal Logic and Non-Standard Analysis

Luca Ferrucci, Dino Mandrioli, Angelo Morzenti, Matteo Rossi