activity
20162023
most citedApproximation-Refinement Testing of Compute-Intensive Cyber-Physical Models: An Approach Based on System Identification

10 citations · 26 across the 14 of their papers we have counts for

collaborators
Showing 2020Show all

2 papers · 1 filter

cs.SE2020

Trace-Checking CPS Properties: Bridging the Cyber-Physical Gap

Claudio Menghi, Enrico Viganò, Domenico Bianculli +1

Cyber-physical systems combine software and physical components. Specification-driven trace-checking tools for CPS usually provide users with a specification language to express th…

cs.MA2020

Proceedings of the First Workshop on Agents and Robots for reliable Engineered Autonomy

Rafael C. Cardoso, Angelo Ferrando, Daniela Briola +2

This volume contains the proceedings of the First Workshop on Agents and Robots for reliable Engineered Autonomy (AREA 2020), co-located with the 24th European Conference on Artifi…