Search results
- 1.0477866 - ÚI 2018 RIV CH eng C - Conference Paper (international conference)
Ratschan, Stefan
Simulation Based Computation of Certificates for Safety of Dynamical Systems.
Formal Modeling and Analysis of Timed Systems. Cham: Springer, 2017 - (Abbate, A.; Geeraerts, G.), s. 303-317. Lecture Notes in Computer Science, 10419. ISBN 978-3-319-65764-6. ISSN 0302-9743.
[FORMATS 2017. International Conference /15./. Berlin (DE), 05.09.2017-07.09.2017]
R&D Projects: GA ČR GA15-14484S
Institutional support: RVO:67985807
Keywords : formal verification * dynamical systems
OECD category: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
Permanent Link: http://hdl.handle.net/11104/0274082File Download Size Commentary Version Access a0477866.pdf 0 270.6 KB Publisher’s postprint require - 2.0461476 - ÚI 2017 RIV US eng C - Conference Paper (international conference)
Ratschan, Stefan
Computing ODE-Barriers in Hyper-Rectangles.
Proceedings of the 2016 Workshop on Symbolic and Numerical Methods for Reachability Analysis (SNR). Piscataway: IEEE, 2016 - (Ábrahám, E.; Bogomolov, S.), č. článku 7479380. ISBN 978-1-5090-3079-8.
[SNR 2016. International Workshop on Symbolic and Numerical Methods for Reachability Analysis. Vienna (AT), 11.04.2016-11.04.2016]
R&D Projects: GA ČR GA15-14484S
Institutional support: RVO:67985807
Keywords : verification * differential equations
Subject RIV: IN - Informatics, Computer Science
Permanent Link: http://hdl.handle.net/11104/0261121File Download Size Commentary Version Access a0461476.pdf 0 221.6 KB Publisher’s postprint require