Certifying Trajectories of Dynamical Systems

Sorry, there's nothing here.

Cite this paper

@inproceedings{Hoeven2015CertifyingTO, title={Certifying Trajectories of Dynamical Systems}, author={Joris van der Hoeven}, booktitle={MACIS}, year={2015} }