Rigorous Continuous Evolution of Uncertain Systems

Luca Geretti, Sanja Zivanovic Gonzalez, Pieter Collins, Davide Bresolin, Tiziano Villa

Research output: Chapter in Book/Report/Conference proceedingConference article in proceedingAcademicpeer-review

Original languageEnglish
Title of host publicationNumerical Software Verification. NSV 2019
Subtitle of host publicationInternational Workshop on Numerical Software Verification
EditorsM. Zamani, D. Zufferey
PublisherSpringer
Pages60-75
Volume11652
ISBN (Electronic)978-3-030-28423-7
ISBN (Print)978-3-030-28422-0
DOIs
Publication statusPublished - 2019

Publication series

SeriesLecture Notes in Computer Science
Volume11652
ISSN0302-9743

Cite this