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

Luca Ferrucci, Dino Mandrioli, Angelo Morzenti, Matteo Rossi

Browse the full FMICS paper archive.