Dane Sabo 029ddd6b1a vault backup: 2025-07-24 10:50:12

2025-07-24 10:50:12 -04:00

..

A Review of Formal Methods applied to Machine Learning.md

vault backup: 2025-07-07 11:50:06

2025-07-07 11:50:06 -04:00

A systematic classification of neural-network-based control.md

vault backup: 2025-07-21 10:01:20

2025-07-21 10:01:20 -04:00

An autonomous control framework for advanced reactors.md

vault backup: 2025-07-11 12:09:37

2025-07-11 12:09:37 -04:00

Automation levels for nuclear reactor operations- A revised perspective.md

vault backup: 2025-07-24 10:50:12

2025-07-24 10:50:12 -04:00

Economics and finance of Small Modular Reactors- A systematic review and research agenda.md

vault backup: 2025-07-22 11:56:40

2025-07-22 11:56:40 -04:00

Enhancing Cyber-Physical System Dependability via Synthesis- Challenges and Future Directions.md

vault backup: 2025-06-17 09:40:29

2025-06-17 09:40:29 -04:00

Evaluating Robustness of Neural Networks with Mixed Integer Programming.md

vault backup: 2025-07-21 10:01:20

2025-07-21 10:01:20 -04:00

Formal requirements elicitation with FRET.md

vault backup: 2025-07-21 22:24:32

2025-07-21 22:24:32 -04:00

Formal verification of neural network controlled autonomous systems.md

vault backup: 2025-06-17 09:40:29

2025-06-17 09:40:29 -04:00

Hardware In The Loop Papers.md

vault backup: 2025-06-17 09:40:29

2025-06-17 09:40:29 -04:00

On Using Real-Time Reachability for the Safety Assurance of Machine Learning Controllers.md

vault backup: 2025-07-07 14:48:29

2025-07-07 14:48:29 -04:00

Reluplex- An Efficient SMT Solver for Verifying Deep Neural Networks.md

vault backup: 2025-06-17 09:40:29

2025-06-17 09:40:29 -04:00

Remote nuclear microreactors- a preliminary economic evaluation of digital twins and centralized offsite control.md

vault backup: 2025-07-24 09:38:58

2025-07-24 09:38:58 -04:00

Runtime Safety Assurance Using Reinforcement Learning.md

vault backup: 2025-07-22 11:36:46

2025-07-22 11:36:46 -04:00

Safe Reinforcement Learning via Shielding.md

vault backup: 2025-06-17 09:40:29

2025-06-17 09:40:29 -04:00

The Past, Present and Future of Cyber-Physical Systems- A Focus on Models.md

vault backup: 2025-06-17 09:40:29

2025-06-17 09:40:29 -04:00