Výsledky vyhledávání
- 1.0580655 - ÚI 2024 RIV US eng C - Konferenční příspěvek (zahraniční konf.)
Fejlek, Jiří - Ratschan, Stefan
LQR-Trees with Sampling Based Exploration of the State Space.
2023 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS). Detroit: IEEE, 2023, s. 4777-4782. ISBN 978-1-6654-9190-7.
[IROS 2023: The International Conference on Intelligent Robots and Systems. Detroit (US), 01.10.2023-05.10.2023]
Grant CEP: GA ČR(CZ) GA21-09458S
Institucionální podpora: RVO:67985807
Klíčová slova: Regulators * Heuristic algorithms * Aerospace electronics * Ordinary differential equations * Trajectory * Feedback control * Reliability
Obor OECD: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
https://doi.org/10.1109/IROS55552.2023.10341767
Trvalý link: https://hdl.handle.net/11104/0349418 - 2.0579461 - ÚI 2024 RIV DE eng C - Konferenční příspěvek (zahraniční konf.)
Ratschan, Stefan
Deciding Predicate Logical Theories Of Real-Valued Functions.
48th International Symposium on Mathematical Foundations of Computer Science (MFCS 2023). Dagstuhl: Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2023 - (Leroux, J.; Lombardy, S.; Peleg, D.), č. článku 76. Leibniz International Proceedings in Informatics, 272. ISBN 978-3-95977-292-1. ISSN 1868-8969.
[MFCS 2023: International Symposium on Mathematical Foundations of Computer Science /48./. Bordeaux (FR), 28.08.2023-01.09.2023]
Grant CEP: GA ČR(CZ) GA21-09458S
Institucionální podpora: RVO:67985807
Klíčová slova: decision procedures * first-order predicate logical theories * real numbers * real-valued functions
Obor OECD: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
https://doi.org/10.4230/LIPIcs.MFCS.2023.76
Trvalý link: https://hdl.handle.net/11104/0348265Název souboru Staženo Velikost Komentář Verze Přístup 0579461-aoa.pdf 2 730.8 KB OA CC BY 4.0 Vydavatelský postprint povolen
Vědecká data: ArXiv.org (preprint) - 3.0574098 - ÚI 2024 RIV CH eng C - Konferenční příspěvek (zahraniční konf.)
Lipparini, E. - Ratschan, Stefan
Satisfiability of Non-linear Transcendental Arithmetic as a Certificate Search Problem.
NASA Formal Methods: 15th International Symposium, NFM 2023 Proceedings. Cham: Springer, 2023 - (Rozier, K.; Chaudhuri, S.), s. 472-488. Lecture Notes in Computer Science, 13903. ISBN 978-3-031-33169-5. ISSN 0302-9743.
[NFM 2023: NASA Formal Methods International Symposium /15./. Houston (US), 16.05.2023-18.05.2023]
Grant CEP: GA ČR(CZ) GA21-09458S
Institucionální podpora: RVO:67985807
Klíčová slova: SAT modulo theories * constraint solving * formal verification
Obor OECD: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
https://dx.doi.org/10.1007/978-3-031-33170-1_29
Trvalý link: https://hdl.handle.net/11104/0344454 - 4.0570721 - ÚI 2024 RIV CH eng C - Konferenční příspěvek (zahraniční konf.)
Kolárik, T. - Ratschan, Stefan
Railway Scheduling Using Boolean Satisfiability Modulo Simulations.
Formal Methods: 25th International Symposium, FM 2023, Lübeck, Germany, March 6–10, 2023, Proceedings. Cham: Springer, 2023 - (Chechik, M.; Katoen, J.; Leucker, M.), s. 56-73. Lecture Notes in Computer Science, 14000. ISBN 978-3-031-27480-0. ISSN 0302-9743.
[FM 2023: International Symposium on Formal Methods /25./. Lübeck (DE), 06.03.2023-10.03.2023]
Grant CEP: GA ČR(CZ) GA21-09458S
Institucionální podpora: RVO:67985807
Klíčová slova: planning * scheduling * Boolean satisfiability
Obor OECD: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
https://dx.doi.org/10.1007/978-3-031-27481-7_5
Trvalý link: https://hdl.handle.net/11104/0342060 - 5.0560679 - ÚI 2023 RIV US eng C - Konferenční příspěvek (zahraniční konf.)
Fejlek, Jiří - Ratschan, Stefan
Computing Funnels Using Numerical Optimization Based Falsifiers.
2022 International Conference on Robotics and Automation (ICRA). Proceedings. Piscataway: IEEE, 2022 - (O'Malley, M.), s. 4318-4324. ISBN 978-1-7281-9682-4.
[ICRA 2022: IEEE International Conference on Robotics and Automation. Philadelphia (US), 23.05.2022-27.05.2022]
Grant CEP: GA ČR(CZ) GA21-09458S
Institucionální podpora: RVO:67985807
Klíčová slova: Robot motion * Automation * Algebra * Ordinary differential equations * Programming * Trajectory * Behavioral sciences
Obor OECD: Robotics and automatic control
https://dx.doi.org/10.1109/ICRA46639.2022.9811730
Trvalý link: https://hdl.handle.net/11104/0333539