25 citations · 65 across the 9 of their papers we have counts for
9 papers
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…
A Neurosymbolic Approach to the Verification of Temporal Logic Properties of Learning enabled Control Systems
Navid Hashemi, Bardh Hoxha, Tomoya Yamaguchi +3
Signal Temporal Logic (STL) has become a popular tool for expressing formal requirements of Cyber-Physical Systems (CPS). The problem of verifying STL properties of neural network-…
Timed Partial Order Inference Algorithm
Kandai Watanabe, Bardh Hoxha, Danil Prokhorov +4
In this work, we propose the model of timed partial orders (TPOs) for specifying workflow schedules, especially for modeling manufacturing processes. TPOs integrate partial orders…
Risk-Awareness in Learning Neural Controllers for Temporal Logic Objectives
Navid Hashemi, Xin Qin, Jyotirmoy V. Deshmukh +4
In this paper, we consider the problem of synthesizing a controller in the presence of uncertainty such that the resulting closed-loop system satisfies certain hard constraints whi…
Risk-Bounded Control with Kalman Filtering and Stochastic Barrier Functions
Shakiba Yaghoubi, Georgios Fainekos, Tomoya Yamaguchi +2
In this paper, we study Stochastic Control Barrier Functions (SCBFs) to enable the design of probabilistic safe real-time controllers in presence of uncertainties and based on nois…
PerceMon: Online Monitoring for Perception Systems
Anand Balakrishnan, Jyotirmoy Deshmukh, Bardh Hoxha +2
Perception algorithms in autonomous vehicles are vital for the vehicle to understand the semantics of its surroundings, including detection and tracking of objects in the environme…
Reachability Analysis of Convolutional Neural Networks
Xiaodong Yang, Tomoya Yamaguchi, Hoang-Dung Tran +3
Deep convolutional neural networks have been widely employed as an effective technique to handle complex and practical problems. However, one of the fundamental problems is the lac…
Safe Navigation in Human Occupied Environments Using Sampling and Control Barrier Functions
Keyvan Majd, Shakiba Yaghoubi, Tomoya Yamaguchi +3
Sampling-based methods such as Rapidly-exploring Random Trees (RRTs) have been widely used for generating motion paths for autonomous mobile systems. In this work, we extend time-b…
RTAMT: Online Robustness Monitors from STL
Dejan Nickovic, Tomoya Yamaguchi
We present RTAMT, an online monitoring library for Signal Temporal Logic (STL) and its interface-aware variant (IA-STL), providing both discrete- and dense-time interpretation of t…