PredictiveRuntimeEnforcement software on GitHub

Software OPEN SOURCE

Formalization of predictive runtime enforcement theory in Isabelle.
Share - Bookmark