Search results
- 1.0585930 - ÚI 2025 RIV PT eng C - Conference Paper (international conference)
Kolárik, Tomáš - Ratschan, Stefan - Surynek, P.
Multi-Agent Path Finding with Continuous Time Using SAT Modulo Linear Real Arithmetic.
Proceedings of the 16th International Conference on Agents and Artificial Intelligence (Volume 1). Setubal: SCitePress, 2024 - (Rocha, A.; Steels, L.; an den Herik, J.), s. 47-58. ISBN 978-989-758-680-4. ISSN 2184-433X.
[ICAART 2024: International Conference on Agents and Artificial Intelligence /16./. Rome (IT), 24.02.2024-26.02.2024]
R&D Projects: GA ČR(CZ) GA21-09458S
Institutional support: RVO:67985807
Keywords : Multi-Agent Path Finding * Satisfiability Modulo Theories
OECD category: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
https://doi.org/10.5220/0012379700003636
Permanent Link: https://hdl.handle.net/11104/0353563File Download Size Commentary Version Access 0585930-oaf.pdf 1 305.5 KB OA CC BY-NC-ND 4.0 Publisher’s postprint open-access - 2.0580655 - ÚI 2024 RIV US eng C - Conference Paper (international conference)
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]
R&D Projects: GA ČR(CZ) GA21-09458S
Institutional support: RVO:67985807
Keywords : Regulators * Heuristic algorithms * Aerospace electronics * Ordinary differential equations * Trajectory * Feedback control * Reliability
OECD category: 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
Permanent Link: https://hdl.handle.net/11104/0349418 - 3.0579461 - ÚI 2024 RIV DE eng C - Conference Paper (international conference)
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]
R&D Projects: GA ČR(CZ) GA21-09458S
Institutional support: RVO:67985807
Keywords : decision procedures * first-order predicate logical theories * real numbers * real-valued functions
OECD category: 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
Permanent Link: https://hdl.handle.net/11104/0348265File Download Size Commentary Version Access 0579461-aoa.pdf 2 730.8 KB OA CC BY 4.0 Publisher’s postprint open-access
Research data: ArXiv.org (preprint) - 4.0574098 - ÚI 2024 RIV CH eng C - Conference Paper (international conference)
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]
R&D Projects: GA ČR(CZ) GA21-09458S
Institutional support: RVO:67985807
Keywords : SAT modulo theories * constraint solving * formal verification
OECD category: 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
Permanent Link: https://hdl.handle.net/11104/0344454 - 5.0570721 - ÚI 2024 RIV CH eng C - Conference Paper (international conference)
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]
R&D Projects: GA ČR(CZ) GA21-09458S
Institutional support: RVO:67985807
Keywords : planning * scheduling * Boolean satisfiability
OECD category: 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
Permanent Link: https://hdl.handle.net/11104/0342060 - 6.0560679 - ÚI 2023 RIV US eng C - Conference Paper (international conference)
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]
R&D Projects: GA ČR(CZ) GA21-09458S
Institutional support: RVO:67985807
Keywords : Robot motion * Automation * Algebra * Ordinary differential equations * Programming * Trajectory * Behavioral sciences
OECD category: Robotics and automatic control
https://dx.doi.org/10.1109/ICRA46639.2022.9811730
Permanent Link: https://hdl.handle.net/11104/0333539 - 7.0556720 - ÚI 2023 RIV CH eng C - Conference Paper (international conference)
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]
Institutional support: RVO:67985807
Keywords : Formal verification * Three-valued abstraction * Computer arithmetics * Addition and multiplication * Pseudo-Boolean modular inequality
OECD category: 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
Permanent Link: http://hdl.handle.net/11104/0330868 - 8.0531242 - ÚI 2021 RIV CH eng C - Conference Paper (international conference)
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]
Institutional support: RVO:67985807
Keywords : constraint solving * Boolean satisfiability * formal verification
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/0309940 - 9.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 - 10.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