Binary Control: A Unifying Framework for Binary Control

Read full text
Authors: Mark Howell
Cited by: 0

Fields of Study & Subjects

Formal Methods in Verification Advanced Control Systems Optimization Security and Verification in Computing

Publication details

Publication date
1 January 2026
Language
EN