18 citations · 21 across the 3 of their papers we have counts for
3 papers
Automated Reasoning in Temporal DL-Lite
Sabiha Tahrat, German Braun, Alessandro Artale +2
This paper investigates the feasibility of automated reasoning over temporal DL-Lite (TDL-Lite) knowledge bases (KBs). We test the usage of off-the-shelf LTL reasoners to check sat…
Formal Design of Asynchronous Fault Detection and Identification Components using Temporal Epistemic Logic
Marco Bozzano, Alessandro Cimatti, Marco Gario +1
Autonomous critical systems, such as satellites and space rovers, must be able to detect the occurrence of faults in order to ensure correct operation. This task is carried out by…
The xSAP Safety Analysis Platform
Benjamin Bittner, Marco Bozzano, Roberto Cavada +6
This paper describes the xSAP safety analysis platform. xSAP provides several model-based safety analysis features for finite- and infinite-state synchronous transition systems. In…