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 - 6.0556720 - ÚI 2023 RIV CH eng C - Konferenční příspěvek (zahraniční konf.)
Onderka, J. - Ratschan, Stefan
Fast Three-Valued Abstract Bit-Vector Arithmetic.
Verification, Model Checking, and Abstract Interpretation. Cham: Springer, 2022 - (Finkbeiner, B.; Wies, T.), s. 242-262. Lecture Notes on Computer Science, 13182. ISBN 978-3-030-94582-4. ISSN 0302-9743.
[VMCAI 2022: International Conference on Verification, Model Checking, and Abstract Interpretation /23./. Philadelphia (US), 16.01.2022-18.01.2022]
Institucionální podpora: RVO:67985807
Klíčová slova: Formal verification * Three-valued abstraction * Computer arithmetics * Addition and multiplication * Pseudo-Boolean modular inequality
Obor OECD: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
http://dx.doi.org/10.1007/978-3-030-94583-1_12
Trvalý link: http://hdl.handle.net/11104/0330868 - 7.0531242 - ÚI 2021 RIV CH eng C - Konferenční příspěvek (zahraniční konf.)
Kolárik, T. - Ratschan, Stefan
SAT Modulo Differential Equation Simulations.
Tests and Proofs. Cham: Springer, 2020 - (Ahrendt, W.; Wehrheim, H.), s. 80-99. Lecture Notes on Computer Science, 12165. ISBN 978-3-030-50994-1. ISSN 0302-9743.
[TAP 2020: The International Conference on Tests and Proofs /14./. Bergen (NO), 22.06.2020-23.06.2020]
Institucionální podpora: RVO:67985807
Klíčová slova: constraint solving * Boolean satisfiability * formal verification
Obor OECD: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
Trvalý link: http://hdl.handle.net/11104/0309940 - 8.0477866 - ÚI 2018 RIV CH eng C - Konferenční příspěvek (zahraniční konf.)
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]
Grant CEP: GA ČR GA15-14484S
Institucionální podpora: RVO:67985807
Klíčová slova: formal verification * dynamical systems
Obor OECD: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
Trvalý link: http://hdl.handle.net/11104/0274082Název souboru Staženo Velikost Komentář Verze Přístup a0477866.pdf 0 270.6 KB Vydavatelský postprint vyžádat - 9.0461476 - ÚI 2017 RIV US eng C - Konferenční příspěvek (zahraniční konf.)
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]
Grant CEP: GA ČR GA15-14484S
Institucionální podpora: RVO:67985807
Klíčová slova: verification * differential equations
Kód oboru RIV: IN - Informatika
Trvalý link: http://hdl.handle.net/11104/0261121Název souboru Staženo Velikost Komentář Verze Přístup a0461476.pdf 0 221.6 KB Vydavatelský postprint vyžádat - 10.0431640 - ÚI 2015 RIV CH eng C - Konferenční příspěvek (zahraniční konf.)
Kuřátko, Jan - Ratschan, Stefan
Combined Global and Local Search for the Falsification of Hybrid Systems.
Formal Modeling and Analysis of Timed Systems. Cham: Springer, 2014 - (Legay, A.; Bozga, M.), s. 146-160. Lecture Notes in Computer Science, 8711. ISBN 978-3-319-10511-6. ISSN 0302-9743.
[FORMATS 2014. International Conference /12./. Florence (IT), 08.09.2014-10.09.2014]
Grant CEP: GA ČR GCP202/12/J060
Institucionální podpora: RVO:67985807
Klíčová slova: hybrid systems * falsification * optimization
Kód oboru RIV: IN - Informatika
Trvalý link: http://hdl.handle.net/11104/0236241Název souboru Staženo Velikost Komentář Verze Přístup a0431640.pdf 0 249.2 KB Vydavatelský postprint vyžádat