Skip to content

A Proof Rule for Control Loops.

Burghard von Karger

VenueBMPC
Year1998
ProceedingsMPC

Browse the full MPC paper archive.