52 citations · 201 across the 50 of their papers we have counts for
4 papers · 1 filter
STL-GO: Spatio-Temporal Logic with Graph Operators for Distributed Systems with Multiple Network Topologies
Yiqi Zhao, Xinyi Yu, Bardh Hoxha +3
Multi-agent systems (MASs) consisting of a number of autonomous agents that communicate, coordinate, and jointly sense the environment to achieve complex missions can be found in a…
RTAMT -- Runtime Robustness Monitors with Application to CPS and Robotics
Tomoya Yamaguchi, Bardh Hoxha, Dejan Nickovic
In this paper, we present Real-Time Analog Monitoring Tool (RTAMT), a tool for quantitative monitoring of Signal Temporal Logic (STL) specifications. The library implements a flexi…
An Efficient Algorithm for Monitoring Practical TPTL Specifications
Adel Dokhanchi, Bardh Hoxha, Cumhur Erkan Tuncali +1
We provide a dynamic programming algorithm for the monitoring of a fragment of Timed Propositional Temporal Logic (TPTL) specifications. This fragment of TPTL, which is more expres…
Mining Parametric Temporal Logic Properties in Model Based Design for Cyber-Physical Systems
Bardh Hoxha, Adel Dokhanchi, Georgios Fainekos
One of the advantages of adopting a Model Based Development (MBD) process is that it enables testing and verification at early stages of development. However, it is often desirable…