Affine Systems of ODEs in Isabelle/HOL for Hybrid-Program Verification.

Jonathan Julián Huerta y Munive

Published in: SEFM (2020)

Keyphrases

formal methods
theorem prover
artificial intelligence
management system
distributed systems
computer systems
real time
computer vision
image processing
expert systems
information retrieval systems
intelligent systems
building blocks
retrieval systems