A SysML v2 Based Modeling Language and Tool for Task Planning and Runtime Verification with Digital Twins.

Luca Cristoforetti, Alessandro Flori, Tommaso Fonda, Kostantinos Kapellos, Andrea Micheli, Stefano Tonetta, Alessandro Valentini

Browse the full MODELSWARD paper archive.