James Weimer

Available identifiers

zbMath Open weimer.james-eMaRDI QIDQ832171

List of research outcomes

Publication	Date of Publication	Type
T4V: exploring neural network architectures that improve the scalability of neural network verification	2023-08-10	Paper
Verisig 2.0: verification of neural network controllers using Taylor model preconditioning	2022-03-25	Paper
Design and Implementation of Attack-Resilient Cyberphysical Systems: With a Focus on Attack-Resilient State Estimators	2022-01-10	Paper
Case study	2021-01-25	Paper
Verisig	2019-10-22	Paper
Continuous Estimation Using Context-Dependent Discrete Measurements	2019-01-28	Paper
Parameter Invariant Monitoring for Signal Temporal Logic	2018-12-06	Paper
Resilient Parameter-Invariant Control with Application to Vehicle Cruise Control	2014-10-16	Paper
Parameter-Invariant Actuator Fault Diagnostics in Cyber-Physical Systems with Application to Building Automation	2014-10-16	Paper
Reachability for Linear Hybrid Automata Using Iterative Relaxation Abstraction	2009-03-11	Paper

Research outcomes over time

This page was built for person: James Weimer