Picture for Tomoya Yamaguchi

Tomoya Yamaguchi

A Neurosymbolic Approach to the Verification of Temporal Logic Properties of Learning enabled Control Systems

Add code
Mar 07, 2023
Figure 1 for A Neurosymbolic Approach to the Verification of Temporal Logic Properties of Learning enabled Control Systems
Figure 2 for A Neurosymbolic Approach to the Verification of Temporal Logic Properties of Learning enabled Control Systems
Figure 3 for A Neurosymbolic Approach to the Verification of Temporal Logic Properties of Learning enabled Control Systems
Figure 4 for A Neurosymbolic Approach to the Verification of Temporal Logic Properties of Learning enabled Control Systems
Viaarxiv icon

Ultrafast single-channel machine vision based on neuro-inspired photonic computing

Add code
Feb 15, 2023
Viaarxiv icon

Risk-Awareness in Learning Neural Controllers for Temporal Logic Objectives

Add code
Oct 14, 2022
Figure 1 for Risk-Awareness in Learning Neural Controllers for Temporal Logic Objectives
Figure 2 for Risk-Awareness in Learning Neural Controllers for Temporal Logic Objectives
Figure 3 for Risk-Awareness in Learning Neural Controllers for Temporal Logic Objectives
Figure 4 for Risk-Awareness in Learning Neural Controllers for Temporal Logic Objectives
Viaarxiv icon

Risk-Bounded Control with Kalman Filtering and Stochastic Barrier Functions

Add code
Dec 30, 2021
Figure 1 for Risk-Bounded Control with Kalman Filtering and Stochastic Barrier Functions
Figure 2 for Risk-Bounded Control with Kalman Filtering and Stochastic Barrier Functions
Figure 3 for Risk-Bounded Control with Kalman Filtering and Stochastic Barrier Functions
Viaarxiv icon

PerceMon: Online Monitoring for Perception Systems

Add code
Aug 17, 2021
Figure 1 for PerceMon: Online Monitoring for Perception Systems
Figure 2 for PerceMon: Online Monitoring for Perception Systems
Figure 3 for PerceMon: Online Monitoring for Perception Systems
Viaarxiv icon

Reachability Analysis of Convolutional Neural Networks

Add code
Jun 22, 2021
Figure 1 for Reachability Analysis of Convolutional Neural Networks
Figure 2 for Reachability Analysis of Convolutional Neural Networks
Figure 3 for Reachability Analysis of Convolutional Neural Networks
Figure 4 for Reachability Analysis of Convolutional Neural Networks
Viaarxiv icon

Safe Navigation in Human Occupied Environments Using Sampling and Control Barrier Functions

Add code
May 03, 2021
Figure 1 for Safe Navigation in Human Occupied Environments Using Sampling and Control Barrier Functions
Figure 2 for Safe Navigation in Human Occupied Environments Using Sampling and Control Barrier Functions
Figure 3 for Safe Navigation in Human Occupied Environments Using Sampling and Control Barrier Functions
Figure 4 for Safe Navigation in Human Occupied Environments Using Sampling and Control Barrier Functions
Viaarxiv icon