Model Checking Polygonal Differential Inclusions Using Invariance Kernels

Bibliographic Data

ID23576493
AuthorsGordon J Pace (0000-0003-0743-6272, University of Malta), Gerardo Schneider (0000-0003-0629-6853, Uppsala University)
Year2004
Pages110-121
Publication date2004-01-01
Open AccessNo
TypeCHAPTER
VenueVerification, Model Checking, and Abstract Interpretation (SOURCE_BOOK)
PublisherSpringer Berlin Heidelberg (PUBLISHER)
DOI10.1007/978-3-540-24622-0_11
OpenAlexW1836267891
ISBN9783540246220
LanguageEN
References cited18

Tools

Open DOILibgenOpen Access