-
Adaptive Stress Testing: Finding Likely Failure Events with Reinforcement Learning
- Published at: Presentation; IJCAI-21
- Date: 08/19/21
- Authors:
Ritchie Lee,
Ole Mengshoel,
Anshu Saksena,
Ryan Gardner,
Daniel Genin,
Joshua Silbermann,
Michael Owen,
Mykel Kochenderfer
Publications for All Years (736 out of 736)
-
Understanding Resilience Optimization Architectures With an Optimization Problem Repository
- Published at: Presentation; 2021 ASME (IDETC/CIE 2021)
- Date: 08/17/21
- Authors:
Daniel Hulse
-
Understanding Resilience Optimization Architectures With an Optimization Problem Repository
- Published at: Conference Paper; ASME 2021
- Date: 08/17/21
- Authors:
Daniel Hulse,
Hongyang Zhang,
Chris Hoyle
-
Requirements with FRET
- Published at: Presentation; IEEE SMC-IT Conference
- Date: 07/30/21
- Authors:
Anastasia Mavridou
-
NNREPAIR: Constraint-based Repair of NeuralNetwork Classifiers
- Published at: Conference Paper;33rd International Conference on Computer-Aided Verification (CAV 2021) (Virtual)
- Date: 07/18/21
- Authors:
Divya Gopinath,
Muhammad Usman,
Youchneg Sun,
Yannic Noller,
Corina Pasareanu
-
The System Modeling and Analysis of Resiliency in STEReO (SMARt-STEReO)
- Published at: AIAA Aviation 2021
- Date: 07/07/21
- Authors:
Sequoia Andrade,
Hamza Bourbouh,
Marie Farrell,
Irfan Sljivo,
Guillaume Brat,
Louise Dennis,
Michael Fisher
-
Integrating Formal Verification and Assurance: An Inspection Rover Case Study
- Published at: Conference Paper;13th NASA Formal Methods Symposium (NFM 2021)
- Date: 05/24/21
- Authors:
Anastasia Mavridou,
Hamza Bourbouh,
Youchneg Sun,
Youchneg Sun,
Youchneg Sun,
Youchneg Sun,
Youchneg Sun,
Youchneg Sun,
Youchneg Sun,
Youchneg Sun,
Youchneg Sun,
Youchneg Sun,
Youchneg Sun
-
NEUROSPF: A Tool for the Symbolic Analysis of Neural Networks
- Published at: Conference Paper; IEEE Institute of Electrical and Electronics Engineers
- Date: 05/23/21
- Authors:
Corina Pasareanu
-
Scalability and Design of Six Rod Tensegrity Soft Robotic Structure
- Published at: Technical Memorandum (TM)
- Date: 05/14/21
- Authors:
Abed Musaffar,
Adrian Agogino
-
FRET Requirements?
- Published at: Presentation; Amazon
- Date: 04/30/21
- Authors:
Dimitra Giannakopoulou
-
Talk for the T&E Group
- Published at: Presentation; T&E Briefing
- Date: 04/30/21
- Authors:
Guillaume Brat
-
Capturing and Analyzing Requirements with FRET
- Published at: Presentation; SFHMMY 12, The Cnference of Electrical and Computer Engineering Students
- Date: 04/28/21
- Authors:
Anastasia Mavridou
-
Compositional Realizability Checking within FRET
- Published at: Technical Memorandum (TM)
- Date: 04/15/21
- Authors:
Dimitra Giannakopoulou,
Andreas Katis,
Anastasia Mavridou,
Tom Pressburger
-
Machine Learning Explainability and Transferability for Path Navigation
- Published at: Conference Paper; AIAA SciTech 2021
- Date: 01/11/21
- Authors:
Adrian Agogino
-
Integration and Evaluation of the AdvoCATE, FRET,CoCoSim, and Event-B tools on the Inspection Rover Case Study
- Published at: Technical Memorandum (TM)
- Date: 12/18/20
- Authors:
Hamza Bourbouh,
Marie Farrell,
Anastasia Mavridou,
Irfan Sljivo