A Decompositional Proof Scheme for Automated Convergence Proofs of Stochastic Hybrid Systems.

Jens Oehlerking Oliver E. Theel

Published in: ATVA (2009)

Keyphrases

hybrid systems
automated theorem provers
discrete event
theorem prover
theorem proving
mathematical proofs
black box
intelligent systems
neural network
meta learning
soft computing
computational intelligence
dynamic systems
natural deduction
artificial intelligence
mathematical model
complex systems
active learning