Počet záznamů: 1
Computing Funnels Using Numerical Optimization Based Falsifiers
- 1.FEJLEK, J., RATSCHAN, S. Computing Funnels Using Numerical Optimization Based Falsifiers. In: O'MALLEY, M., ed. 2022 International Conference on Robotics and Automation (ICRA). Proceedings. Piscataway: IEEE, 2022, s. 4318-4324. ISBN 978-1-7281-9682-4. Dostupné z: doi: 10.1109/ICRA46639.2022.9811730.
Počet záznamů: 1