Skip to main content
Hamburger Menu
Home
Tools
Tool Listing
Tool Search
Publications
About Us
Communities
Contact Us
Assured Autonomy Tools Portal
Login
Not a member?
Forgot your password?
Submit
Assured Autonomy Tools Portal
Continual Assurance of Learning-Enabled, Cyber-Physical Systems (LE-CPS)
Gabor Karsai
Gabor Karsai's Publications
Model-Based Design for CPS with Learning-Enabled Components
Augmenting learning components for safety in resource constrained autonomous robots
CPS Design with Learning-Enabled Components: A Case Study
Dynamic-weighted simplex strategy for learning enabled cyber physical systems
Deepnncar: A testbed for deploying and testing middleware frameworks for autonomous robots
Workflow Automation for Cyber Physical System Development Processes
A Methodology for Automating Assurance Case Generation
Efficient Out-of-Distribution Detection Using Latent Space of beta-VAE for Cyber-Physical Systems