Picture for Gabor Karsai

Gabor Karsai

Shrinking POMCP: A Framework for Real-Time UAV Search and Rescue

Add code
Nov 20, 2024
Viaarxiv icon

Dynamic Simplex: Balancing Safety and Performance in Autonomous Cyber Physical Systems

Add code
Feb 20, 2023
Viaarxiv icon

Risk-Aware Scene Sampling for Dynamic Assurance of Autonomous Systems

Add code
Feb 28, 2022
Figure 1 for Risk-Aware Scene Sampling for Dynamic Assurance of Autonomous Systems
Figure 2 for Risk-Aware Scene Sampling for Dynamic Assurance of Autonomous Systems
Figure 3 for Risk-Aware Scene Sampling for Dynamic Assurance of Autonomous Systems
Figure 4 for Risk-Aware Scene Sampling for Dynamic Assurance of Autonomous Systems
Viaarxiv icon

Efficient Out-of-Distribution Detection Using Latent Space of $β$-VAE for Cyber-Physical Systems

Add code
Aug 26, 2021
Figure 1 for Efficient Out-of-Distribution Detection Using Latent Space of $β$-VAE for Cyber-Physical Systems
Figure 2 for Efficient Out-of-Distribution Detection Using Latent Space of $β$-VAE for Cyber-Physical Systems
Figure 3 for Efficient Out-of-Distribution Detection Using Latent Space of $β$-VAE for Cyber-Physical Systems
Figure 4 for Efficient Out-of-Distribution Detection Using Latent Space of $β$-VAE for Cyber-Physical Systems
Viaarxiv icon

ReSonAte: A Runtime Risk Assessment Framework for Autonomous Systems

Add code
Feb 18, 2021
Figure 1 for ReSonAte: A Runtime Risk Assessment Framework for Autonomous Systems
Figure 2 for ReSonAte: A Runtime Risk Assessment Framework for Autonomous Systems
Figure 3 for ReSonAte: A Runtime Risk Assessment Framework for Autonomous Systems
Figure 4 for ReSonAte: A Runtime Risk Assessment Framework for Autonomous Systems
Viaarxiv icon

Workflow Automation for Cyber Physical System Development Processes

Add code
Apr 12, 2020
Figure 1 for Workflow Automation for Cyber Physical System Development Processes
Figure 2 for Workflow Automation for Cyber Physical System Development Processes
Figure 3 for Workflow Automation for Cyber Physical System Development Processes
Figure 4 for Workflow Automation for Cyber Physical System Development Processes
Viaarxiv icon

A Methodology for Automating Assurance Case Generation

Add code
Mar 11, 2020
Figure 1 for A Methodology for Automating Assurance Case Generation
Figure 2 for A Methodology for Automating Assurance Case Generation
Figure 3 for A Methodology for Automating Assurance Case Generation
Figure 4 for A Methodology for Automating Assurance Case Generation
Viaarxiv icon

BARISTA: Efficient and Scalable Serverless Serving System for Deep Learning Prediction Services

Add code
Apr 11, 2019
Figure 1 for BARISTA: Efficient and Scalable Serverless Serving System for Deep Learning Prediction Services
Figure 2 for BARISTA: Efficient and Scalable Serverless Serving System for Deep Learning Prediction Services
Figure 3 for BARISTA: Efficient and Scalable Serverless Serving System for Deep Learning Prediction Services
Figure 4 for BARISTA: Efficient and Scalable Serverless Serving System for Deep Learning Prediction Services
Viaarxiv icon

Augmenting Learning Components for Safety in Resource Constrained Autonomous Robots

Add code
Apr 04, 2019
Figure 1 for Augmenting Learning Components for Safety in Resource Constrained Autonomous Robots
Figure 2 for Augmenting Learning Components for Safety in Resource Constrained Autonomous Robots
Figure 3 for Augmenting Learning Components for Safety in Resource Constrained Autonomous Robots
Figure 4 for Augmenting Learning Components for Safety in Resource Constrained Autonomous Robots
Viaarxiv icon