"Invariant-Based Epistemic Control of Physical Systems : A Non-Actuating, Deterministic Framework for Safety-Critical Decision Making" (IEEE)
Fields of Study & Subjects
Formal Methods in Verification
Safety Systems Engineering in Autonomy
Advanced Control Systems Optimization
Publication details
- Journal / source
- Zenodo (CERN European Organization for Nuclear Research)
- Publication date
- 18 January 2026