Set Invariance for Assume-Guarantee Contracts in Cyber-Physical Systems Design - - Extended Abstract -.

Antoine Girard

Browse the full ICTAC paper archive.