52 citations · 199 across the 66 of their papers we have counts for
3 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…
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…