Research output

Assume-guarantee verification of nonlinear hybrid systems with Ariadne

Research output: Contribution to journalArticleAcademicpeer-review

Associated researcher

  • Benvenuti, L.
  • Bresolin, D.
  • Collins, P.J.

  • Ferrari, A.
  • Geretti, L.
  • Villa, T.

Associated organisations

View graph of relations

Details

Original languageUndefined/Unknown
JournalInternational Journal of Robust and Nonlinear Control
DOIs
Publication statusPublished - 2012