default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Stefan Ratschan
@article{DBLP:journals/sncs/KolarikRS26,
author = {Tom{\'{a}}s Kol{\'{a}}rik and
Stefan Ratschan and
Pavel Surynek},
title = {Multi-Agent Path Finding with Continuous Time Using {SAT} Modulo Linear
Arithmetic Over the Reals},
journal = {{SN} Comput. Sci.},
volume = {7},
number = {2},
pages = {194},
year = {2026},
url = {https://doi.org/10.1007/s42979-025-04585-y},
doi = {10.1007/S42979-025-04585-Y},
timestamp = {Tue, 03 Mar 2026 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/sncs/KolarikRS26.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/OnderkaR26,
author = {Jan Onderka and
Stefan Ratschan},
editor = {Yu{-}Fang Chen and
Thomas P. Jensen and
Ondrej Leng{\'{a}}l},
title = {Input-Based Three-Valued Abstraction Refinement},
booktitle = {Verification, Model Checking, and Abstract Interpretation - 27th International
Conference, {VMCAI} 2026, Rennes, France, January 12-13, 2026, Proceedings},
series = {Lecture Notes in Computer Science},
pages = {237--262},
publisher = {Springer},
year = {2026},
url = {https://doi.org/10.1007/978-3-032-15700-3\_12},
doi = {10.1007/978-3-032-15700-3\_12},
timestamp = {Tue, 03 Feb 2026 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vmcai/OnderkaR26.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2602-16335,
author = {Stefan Ratschan and
Anggha Nugraha and
Mikol{\'{a}}s Janota and
Marek Danco},
title = {Inductive Satisfiability Certification for Universal Quantifiers and
Uninterpreted Function Symbols},
journal = {CoRR},
volume = {abs/2602.16335},
year = {2026},
url = {https://doi.org/10.48550/arXiv.2602.16335},
doi = {10.48550/ARXIV.2602.16335},
eprinttype = {arXiv},
eprint = {2602.16335},
timestamp = {Sun, 29 Mar 2026 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2602-16335.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/LippariniR25,
author = {Enrico Lipparini and
Stefan Ratschan},
title = {Satisfiability of Non-linear Transcendental Arithmetic as a Certificate
Search Problem},
journal = {J. Autom. Reason.},
volume = {69},
number = {1},
pages = {3},
year = {2025},
url = {https://doi.org/10.1007/s10817-024-09716-3},
doi = {10.1007/S10817-024-09716-3},
timestamp = {Fri, 07 Mar 2025 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jar/LippariniR25.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/BrownCJOR25,
author = {Chad E. Brown and
Karel Chvalovsk{\'{y}} and
Mikol{\'{a}}s Janota and
Mirek Ols{\'{a}}k and
Stefan Ratschan},
editor = {Clark W. Barrett and
Uwe Waldmann},
title = {{SMT} and Functional Equation Solving over the Reals: Challenges from
the {IMO}},
booktitle = {Automated Deduction - {CADE} 30 - 30th International Conference on
Automated Deduction, Stuttgart, Germany, July 28-31, 2025, Proceedings},
series = {Lecture Notes in Computer Science},
pages = {150--163},
publisher = {Springer},
year = {2025},
url = {https://doi.org/10.1007/978-3-031-99984-0\_9},
doi = {10.1007/978-3-031-99984-0\_9},
timestamp = {Thu, 11 Sep 2025 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/BrownCJOR25.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2504-15645,
author = {Chad E. Brown and
Karel Chvalovsk{\'{y}} and
Mikol{\'{a}}s Janota and
Mirek Ols{\'{a}}k and
Stefan Ratschan},
title = {{SMT} and Functional Equation Solving over the Reals: Challenges from
the {IMO}},
journal = {CoRR},
volume = {abs/2504.15645},
year = {2025},
url = {https://doi.org/10.48550/arXiv.2504.15645},
doi = {10.48550/ARXIV.2504.15645},
eprinttype = {arXiv},
eprint = {2504.15645},
timestamp = {Fri, 23 May 2025 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2504-15645.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ejcon/FejlekR24,
author = {Jir{\'{\i}} Fejlek and
Stefan Ratschan},
title = {Computation of feedback control laws based on switched tracking of
demonstrations},
journal = {Eur. J. Control},
volume = {80},
pages = {101118},
year = {2024},
url = {https://doi.org/10.1016/j.ejcon.2024.101118},
doi = {10.1016/J.EJCON.2024.101118},
timestamp = {Wed, 06 Nov 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ejcon/FejlekR24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icaart/KolarikRS24,
author = {Tom{\'{a}}s Kol{\'{a}}rik and
Stefan Ratschan and
Pavel Surynek},
editor = {Ana Paula Rocha and
Luc Steels and
H. Jaap van den Herik},
title = {Multi-Agent Path Finding with Continuous Time Using {SAT} Modulo Linear
Real Arithmetic},
booktitle = {Proceedings of the 16th International Conference on Agents and Artificial
Intelligence, {ICAART} 2024, Volume 1, Rome, Italy, February 24-26,
2024},
pages = {47--58},
publisher = {{SCITEPRESS}},
year = {2024},
url = {https://doi.org/10.5220/0012379700003636},
doi = {10.5220/0012379700003636},
timestamp = {Tue, 05 Aug 2025 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icaart/KolarikRS24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/KolarikR23,
author = {Tom{\'{a}}s Kol{\'{a}}rik and
Stefan Ratschan},
editor = {Marsha Chechik and
Joost{-}Pieter Katoen and
Martin Leucker},
title = {Railway Scheduling Using Boolean Satisfiability Modulo Simulations},
booktitle = {Formal Methods - 25th International Symposium, {FM} 2023, L{\"{u}}beck,
Germany, March 6-10, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
pages = {56--73},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-27481-7\_5},
doi = {10.1007/978-3-031-27481-7\_5},
timestamp = {Tue, 28 Mar 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fm/KolarikR23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iros/FejlekR23,
author = {Jir{\'{\i}} Fejlek and
Stefan Ratschan},
title = {LQR-Trees with Sampling Based Exploration of the State Space},
booktitle = {{IROS}},
pages = {4777--4782},
year = {2023},
url = {https://doi.org/10.1109/IROS55552.2023.10341767},
doi = {10.1109/IROS55552.2023.10341767},
timestamp = {Sat, 13 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iros/FejlekR23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/Ratschan23,
author = {Stefan Ratschan},
editor = {J{\'{e}}r{\^{o}}me Leroux and
Sylvain Lombardy and
David Peleg},
title = {Deciding Predicate Logical Theories Of Real-Valued Functions},
booktitle = {48th International Symposium on Mathematical Foundations of Computer
Science, {MFCS} 2023, Bordeaux, France, August 28 - September 1, 2023},
series = {LIPIcs},
pages = {76:1--76:15},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2023},
url = {https://doi.org/10.4230/LIPIcs.MFCS.2023.76},
doi = {10.4230/LIPICS.MFCS.2023.76},
timestamp = {Fri, 21 Nov 2025 23:44:11 +0100},
biburl = {https://dblp.org/rec/conf/mfcs/Ratschan23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nfm/LippariniR23,
author = {Enrico Lipparini and
Stefan Ratschan},
editor = {Kristin Yvonne Rozier and
Swarat Chaudhuri},
title = {Satisfiability of Non-linear Transcendental Arithmetic as a Certificate
Search Problem},
booktitle = {{NASA} Formal Methods - 15th International Symposium, {NFM} 2023,
Houston, TX, USA, May 16-18, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
pages = {472--488},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-33170-1\_29},
doi = {10.1007/978-3-031-33170-1\_29},
timestamp = {Fri, 07 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/nfm/LippariniR23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2303-00553,
author = {Jir{\'{\i}} Fejlek and
Stefan Ratschan},
title = {LQR-trees with Sampling Based Exploration of the State Space},
journal = {CoRR},
volume = {abs/2303.00553},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2303.00553},
doi = {10.48550/ARXIV.2303.00553},
eprinttype = {arXiv},
eprint = {2303.00553},
timestamp = {Mon, 06 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2303-00553.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2303-16582,
author = {Enrico Lipparini and
Stefan Ratschan},
title = {Satisfiability of Non-Linear Transcendental Arithmetic as a Certificate
Search Problem},
journal = {CoRR},
volume = {abs/2303.16582},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2303.16582},
doi = {10.48550/ARXIV.2303.16582},
eprinttype = {arXiv},
eprint = {2303.16582},
timestamp = {Tue, 01 Apr 2025 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2303-16582.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2306-16505,
author = {Stefan Ratschan},
title = {Deciding Predicate Logical Theories of Real-Valued Functions},
journal = {CoRR},
volume = {abs/2306.16505},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2306.16505},
doi = {10.48550/ARXIV.2306.16505},
eprinttype = {arXiv},
eprint = {2306.16505},
timestamp = {Mon, 03 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2306-16505.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2312-08051,
author = {Tom{\'{a}}s Kol{\'{a}}rik and
Stefan Ratschan and
Pavel Surynek},
title = {Multi-Agent Path Finding with Continuous Time Using {SAT} Modulo Linear
Real Arithmetic},
journal = {CoRR},
volume = {abs/2312.08051},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2312.08051},
doi = {10.48550/ARXIV.2312.08051},
eprinttype = {arXiv},
eprint = {2312.08051},
timestamp = {Mon, 08 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2312-08051.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icra/FejlekR22,
author = {Jir{\'{\i}} Fejlek and
Stefan Ratschan},
title = {Computing Funnels Using Numerical Optimization Based Falsifiers},
booktitle = {2022 International Conference on Robotics and Automation, {ICRA} 2022,
Philadelphia, PA, USA, May 23-27, 2022},
pages = {4318--4324},
publisher = {{IEEE}},
year = {2022},
url = {https://doi.org/10.1109/ICRA46639.2022.9811730},
doi = {10.1109/ICRA46639.2022.9811730},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icra/FejlekR22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/OnderkaR22,
author = {Jan Onderka and
Stefan Ratschan},
editor = {Bernd Finkbeiner and
Thomas Wies},
title = {Fast Three-Valued Abstract Bit-Vector Arithmetic},
booktitle = {Verification, Model Checking, and Abstract Interpretation - 23rd International
Conference, {VMCAI} 2022, Philadelphia, PA, USA, January 16-18, 2022,
Proceedings},
series = {Lecture Notes in Computer Science},
pages = {242--262},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-030-94583-1\_12},
doi = {10.1007/978-3-030-94583-1\_12},
timestamp = {Sun, 19 Jan 2025 13:39:36 +0100},
biburl = {https://dblp.org/rec/conf/vmcai/OnderkaR22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2212-05382,
author = {Tom{\'{a}}s Kol{\'{a}}rik and
Stefan Ratschan},
title = {Railway Scheduling Using Boolean Satisfiability Modulo Simulations},
journal = {CoRR},
volume = {abs/2212.05382},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2212.05382},
doi = {10.48550/ARXIV.2212.05382},
eprinttype = {arXiv},
eprint = {2212.05382},
timestamp = {Mon, 02 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2212-05382.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/corr/abs-2101-05256,
editor = {Thao Dang and
Stefan Ratschan},
title = {Proceedings 6th International Workshop on Symbolic-Numeric methods
for Reasoning about {CPS} and IoT, {SNR} 2020, online, 31 August 2020},
series = {{EPTCS}},
volume = {331},
year = {2021},
url = {https://doi.org/10.4204/EPTCS.331},
doi = {10.4204/EPTCS.331},
timestamp = {Tue, 03 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2101-05256.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2109-11420,
author = {Jir{\'{\i}} Fejlek and
Stefan Ratschan},
title = {Computing Funnels Using Numerical Optimization Based Falsifiers},
journal = {CoRR},
volume = {abs/2109.11420},
year = {2021},
url = {https://arxiv.org/abs/2109.11420},
eprinttype = {arXiv},
eprint = {2109.11420},
timestamp = {Mon, 27 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2109-11420.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tap/KolarikR20,
author = {Tom{\'{a}}s Kol{\'{a}}rik and
Stefan Ratschan},
editor = {Wolfgang Ahrendt and
Heike Wehrheim},
title = {{SAT} Modulo Differential Equation Simulations},
booktitle = {Tests and Proofs - 14th International Conference, TAP@STAF 2020, Bergen,
Norway, June 22-23, 2020, Proceedings [postponed]},
series = {Lecture Notes in Computer Science},
pages = {80--99},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-50995-8\_5},
doi = {10.1007/978-3-030-50995-8\_5},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tap/KolarikR20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2011-12639,
author = {Jir{\'{\i}} Fejlek and
Stefan Ratschan},
title = {Computation of Stabilizing and Relatively Optimal Feedback Control
Laws Based on Demonstrations},
journal = {CoRR},
volume = {abs/2011.12639},
year = {2020},
url = {https://arxiv.org/abs/2011.12639},
eprinttype = {arXiv},
eprint = {2011.12639},
timestamp = {Tue, 01 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2011-12639.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tac/Ratschan18,
author = {Stefan Ratschan},
title = {Converse Theorems for Safety and Barrier Certificates},
journal = {{IEEE} Trans. Autom. Control.},
volume = {63},
number = {8},
pages = {2628--2632},
year = {2018},
url = {https://doi.org/10.1109/TAC.2018.2792325},
doi = {10.1109/TAC.2018.2792325},
timestamp = {Wed, 20 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tac/Ratschan18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/formats/Ratschan17,
author = {Stefan Ratschan},
editor = {Alessandro Abate and
Gilles Geeraerts},
title = {Simulation Based Computation of Certificates for Safety of Dynamical
Systems},
booktitle = {Formal Modeling and Analysis of Timed Systems - 15th International
Conference, {FORMATS} 2017, Berlin, Germany, September 5-7, 2017,
Proceedings},
series = {Lecture Notes in Computer Science},
pages = {303--317},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-65765-3\_17},
doi = {10.1007/978-3-319-65765-3\_17},
timestamp = {Tue, 14 May 2019 10:00:38 +0200},
biburl = {https://dblp.org/rec/conf/formats/Ratschan17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/Ratschan17,
author = {Stefan Ratschan},
title = {A Robust Finite-Time Converse Theorem for Inductive Safety Certificates
of Ordinary Differential Equations},
journal = {CoRR},
volume = {abs/1701.03948},
year = {2017},
url = {http://arxiv.org/abs/1701.03948},
eprinttype = {arXiv},
eprint = {1701.03948},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/Ratschan17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/Ratschan17aa,
author = {Stefan Ratschan},
title = {Simulation Based Computation of Certificates for Safety of Dynamical
Systems},
journal = {CoRR},
volume = {abs/1707.00879},
year = {2017},
url = {http://arxiv.org/abs/1707.00879},
eprinttype = {arXiv},
eprint = {1707.00879},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/Ratschan17aa.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/FranekRZ16,
author = {Peter Franek and
Stefan Ratschan and
Piotr Zgliczynski},
title = {Quasi-decidability of a Fragment of the First-Order Theory of Real
Numbers},
journal = {J. Autom. Reason.},
volume = {57},
number = {2},
pages = {157--185},
year = {2016},
url = {https://doi.org/10.1007/s10817-015-9351-3},
doi = {10.1007/S10817-015-9351-3},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jar/FranekRZ16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/moc/FranekR15,
author = {Peter Franek and
Stefan Ratschan},
title = {Effective topological degree computation based on interval arithmetic},
journal = {Math. Comput.},
volume = {84},
number = {293},
pages = {1265--1290},
year = {2015},
url = {https://doi.org/10.1090/S0025-5718-2014-02877-9},
doi = {10.1090/S0025-5718-2014-02877-9},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/moc/FranekR15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fmsd/Ratschan14,
author = {Stefan Ratschan},
title = {Safety verification of non-linear hybrid systems is quasi-decidable},
journal = {Formal Methods Syst. Des.},
volume = {44},
number = {1},
pages = {71--90},
year = {2014},
url = {https://doi.org/10.1007/s10703-013-0196-2},
doi = {10.1007/S10703-013-0196-2},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fmsd/Ratschan14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mics/HladikR14,
author = {Milan Hlad{\'{\i}}k and
Stefan Ratschan},
title = {Efficient Solution of a Class of Quantified Constraints with Quantifier
Prefix Exists-Forall},
journal = {Math. Comput. Sci.},
volume = {8},
number = {3-4},
pages = {329--340},
year = {2014},
url = {https://doi.org/10.1007/s11786-014-0195-8},
doi = {10.1007/S11786-014-0195-8},
timestamp = {Wed, 12 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mics/HladikR14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/formats/KuratkoR14,
author = {Jan Kur{\'{a}}tko and
Stefan Ratschan},
editor = {Axel Legay and
Marius Bozga},
title = {Combined Global and Local Search for the Falsification of Hybrid Systems},
booktitle = {Formal Modeling and Analysis of Timed Systems - 12th International
Conference, {FORMATS} 2014, Florence, Italy, September 8-10, 2014.
Proceedings},
series = {Lecture Notes in Computer Science},
pages = {146--160},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-10512-3\_11},
doi = {10.1007/978-3-319-10512-3\_11},
timestamp = {Tue, 14 May 2019 10:00:38 +0200},
biburl = {https://dblp.org/rec/conf/formats/KuratkoR14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/KuratkoR14,
author = {Jan Kur{\'{a}}tko and
Stefan Ratschan},
title = {Combined Global and Local Search for the Falsification of Hybrid Systems},
journal = {CoRR},
volume = {abs/1406.6332},
year = {2014},
url = {http://arxiv.org/abs/1406.6332},
eprinttype = {arXiv},
eprint = {1406.6332},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/KuratkoR14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/FranekRZ13,
author = {Peter Franek and
Stefan Ratschan and
Piotr Zgliczynski},
title = {Quasi-decidability of a Fragment of the First-order Theory of Real
Numbers},
journal = {CoRR},
volume = {abs/1309.6280},
year = {2013},
url = {http://arxiv.org/abs/1309.6280},
eprinttype = {arXiv},
eprint = {1309.6280},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/FranekRZ13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/HladikR13,
author = {Milan Hlad{\'{\i}}k and
Stefan Ratschan},
title = {Efficient Solution of a Class of Quantified Constraints with Quantifier
Prefix Exists-Forall},
journal = {CoRR},
volume = {abs/1312.6155},
year = {2013},
url = {http://arxiv.org/abs/1312.6155},
eprinttype = {arXiv},
eprint = {1312.6155},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/HladikR13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ejcon/0001SRHH12,
author = {Lijun Zhang and
Zhikun She and
Stefan Ratschan and
Holger Hermanns and
Ernst Moritz Hahn},
title = {Safety Verification for Probabilistic Hybrid Systems},
journal = {Eur. J. Control},
volume = {18},
number = {6},
pages = {572--587},
year = {2012},
url = {https://doi.org/10.3166/ejc.18.572-587},
doi = {10.3166/EJC.18.572-587},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ejcon/0001SRHH12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mics/RatschanS12,
author = {Stefan Ratschan and
Thomas Sturm},
title = {Foreword},
journal = {Math. Comput. Sci.},
volume = {6},
number = {4},
pages = {345},
year = {2012},
url = {https://doi.org/10.1007/s11786-012-0129-2},
doi = {10.1007/S11786-012-0129-2},
timestamp = {Wed, 12 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mics/RatschanS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1205-5571,
author = {Stefan Ratschan},
title = {Applications of Quantified Constraint Solving over the Reals - Bibliography},
journal = {CoRR},
volume = {abs/1205.5571},
year = {2012},
url = {http://arxiv.org/abs/1205.5571},
eprinttype = {arXiv},
eprint = {1205.5571},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1205-5571.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1207-6331,
author = {Peter Franek and
Stefan Ratschan},
title = {Effective Topological Degree Computation Based on Interval Arithmetic},
journal = {CoRR},
volume = {abs/1207.6331},
year = {2012},
url = {http://arxiv.org/abs/1207.6331},
eprinttype = {arXiv},
eprint = {1207.6331},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1207-6331.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mics/FainekosGPR11,
author = {Georgios Fainekos and
Eric Goubault and
Sylvie Putot and
Stefan Ratschan},
title = {Foreword},
journal = {Math. Comput. Sci.},
volume = {5},
number = {4},
pages = {357--358},
year = {2011},
url = {https://doi.org/10.1007/s11786-011-0105-2},
doi = {10.1007/S11786-011-0105-2},
timestamp = {Fri, 13 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mics/FainekosGPR11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/formats/DzetkulicR11,
author = {Tom{\'{a}}s Dzetkulic and
Stefan Ratschan},
editor = {Uli Fahrenberg and
Stavros Tripakis},
title = {Incremental Computation of Succinct Abstractions for Hybrid Systems},
booktitle = {Formal Modeling and Analysis of Timed Systems - 9th International
Conference, {FORMATS} 2011, Aalborg, Denmark, September 21-23, 2011.
Proceedings},
series = {Lecture Notes in Computer Science},
pages = {271--285},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-24310-3\_19},
doi = {10.1007/978-3-642-24310-3\_19},
timestamp = {Tue, 14 May 2019 10:00:38 +0200},
biburl = {https://dblp.org/rec/conf/formats/DzetkulicR11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/FranekRZ11,
author = {Peter Franek and
Stefan Ratschan and
Piotr Zgliczynski},
editor = {Filip Murlak and
Piotr Sankowski},
title = {Satisfiability of Systems of Equations of Real Analytic Functions
Is Quasi-decidable},
booktitle = {Mathematical Foundations of Computer Science 2011 - 36th International
Symposium, {MFCS} 2011, Warsaw, Poland, August 22-26, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
pages = {315--326},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-22993-0\_30},
doi = {10.1007/978-3-642-22993-0\_30},
timestamp = {Tue, 14 May 2019 10:00:37 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/FranekRZ11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siamco/RatschanS10,
author = {Stefan Ratschan and
Zhikun She},
title = {Providing a Basin of Attraction to a Target Region of Polynomial Systems
by Computation of Lyapunov-Like Functions},
journal = {{SIAM} J. Control. Optim.},
volume = {48},
number = {7},
pages = {4377--4394},
year = {2010},
url = {https://doi.org/10.1137/090749955},
doi = {10.1137/090749955},
timestamp = {Thu, 09 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/siamco/RatschanS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/ZhangSRHH10,
author = {Lijun Zhang and
Zhikun She and
Stefan Ratschan and
Holger Hermanns and
Ernst Moritz Hahn},
editor = {Tayssir Touili and
Byron Cook and
Paul B. Jackson},
title = {Safety Verification for Probabilistic Hybrid Systems},
booktitle = {Computer Aided Verification, 22nd International Conference, {CAV}
2010, Edinburgh, UK, July 15-19, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
pages = {196--211},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-14295-6\_21},
doi = {10.1007/978-3-642-14295-6\_21},
timestamp = {Sun, 06 Oct 2024 20:57:23 +0200},
biburl = {https://dblp.org/rec/conf/cav/ZhangSRHH10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tamc/Ratschan10,
author = {Stefan Ratschan},
editor = {Jan Kratochv{\'{\i}}l and
Angsheng Li and
Jir{\'{\i}} Fiala and
Petr Kolman},
title = {Safety Verification of Non-linear Hybrid Systems Is Quasi-Semidecidable},
booktitle = {Theory and Applications of Models of Computation, 7th Annual Conference,
{TAMC} 2010, Prague, Czech Republic, June 7-11, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
pages = {397--408},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-13562-0\_36},
doi = {10.1007/978-3-642-13562-0\_36},
timestamp = {Tue, 14 May 2019 10:00:46 +0200},
biburl = {https://dblp.org/rec/conf/tamc/Ratschan10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adhs/DzetkulicR09,
author = {Tom{\'{a}}s Dzetkulic and
Stefan Ratschan},
editor = {Alessandro Giua and
Cristian Mahulea and
Manuel Silva and
Janan Zaytoon},
title = {How to Capture Hybrid Systems Evolution Into Slices of Parallel Hyperplanes},
booktitle = {3rd {IFAC} Conference on Analysis and Design of Hybrid Systems, {ADHS}
2009, Zaragoza, Spain, September 16-18, 2009},
series = {{IFAC} Proceedings Volumes},
number = {17},
pages = {274--279},
publisher = {Elsevier},
year = {2009},
url = {https://doi.org/10.3182/20090916-3-ES-3003.00048},
doi = {10.3182/20090916-3-ES-3003.00048},
timestamp = {Thu, 11 Oct 2018 11:27:01 +0200},
biburl = {https://dblp.org/rec/conf/adhs/DzetkulicR09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/snc/Ratschan09,
author = {Stefan Ratschan},
editor = {Hiroshi Kai and
Hiroshi Sekigawa and
Tateaki Sasaki and
Kiyoshi Shirayanagi and
Ilias S. Kotsireas},
title = {Symbolic-numeric problems in the automatic analysis and verification
of cyber-physical systems},
booktitle = {Symbolic Numeric Computation, {SNC} '09, Kyoto, Japan - August 03
- 05, 2009},
pages = {7--8},
publisher = {{ACM}},
year = {2009},
url = {https://doi.org/10.1145/1577190.1577195},
doi = {10.1145/1577190.1577195},
timestamp = {Sun, 19 Jan 2025 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/snc/Ratschan09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tap/RatschanS09,
author = {Stefan Ratschan and
Jan{-}Georg Smaus},
editor = {Catherine Dubois},
title = {Finding Errors of Hybrid Systems by Optimising an Abstraction-Based
Quality Estimate},
booktitle = {Tests and Proofs - 3rd International Conference, TAP@TOOLS 2009, Zurich,
Switzerland, July 2-3, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
pages = {153--168},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-02949-3\_12},
doi = {10.1007/978-3-642-02949-3\_12},
timestamp = {Tue, 23 Jun 2020 17:37:39 +0200},
biburl = {https://dblp.org/rec/conf/tap/RatschanS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icinco/RatschanS08,
author = {Stefan Ratschan and
Zhikun She},
editor = {Joaquim Filipe and
Juan Andrade{-}Cetto and
Jean{-}Louis Ferrier},
title = {Recursive and Backward Reasoning in the Verification on Hybrid Systems},
booktitle = {{ICINCO} 2008, Proceedings of the Fifth International Conference on
Informatics in Control, Automation and Robotics, Signal Processing,
Systems Modeling and Control, Funchal, Madeira, Portugal, May 11-15,
2008},
pages = {65--71},
publisher = {{INSTICC} Press},
year = {2008},
timestamp = {Mon, 07 Sep 2009 12:13:14 +0200},
biburl = {https://dblp.org/rec/conf/icinco/RatschanS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijfcs/DammPR07,
author = {Werner Damm and
Guilherme Pinto and
Stefan Ratschan},
title = {Guaranteed Termination in the Verification of Ltl Properties of Non-linear
Robust Discrete Time Hybrid Systems},
journal = {Int. J. Found. Comput. Sci.},
volume = {18},
number = {1},
pages = {63--86},
year = {2007},
url = {https://doi.org/10.1142/S0129054107004577},
doi = {10.1142/S0129054107004577},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijfcs/DammPR07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsat/FranzleHTRS07,
author = {Martin Fr{\"{a}}nzle and
Christian Herde and
Tino Teige and
Stefan Ratschan and
Tobias Schubert},
title = {Efficient Solving of Large Non-linear Arithmetic Constraint Systems
with Complex Boolean Structure},
journal = {J. Satisf. Boolean Model. Comput.},
volume = {1},
number = {3-4},
pages = {209--236},
year = {2007},
url = {https://doi.org/10.3233/sat190012},
doi = {10.3233/SAT190012},
timestamp = {Mon, 17 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsat/FranzleHTRS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tecs/RatschanS07,
author = {Stefan Ratschan and
Zhikun She},
title = {Safety verification of hybrid systems by constraint propagation-based
abstraction refinement},
journal = {{ACM} Trans. Embed. Comput. Syst.},
volume = {6},
number = {1},
pages = {8},
year = {2007},
url = {https://doi.org/10.1145/1210268.1210276},
doi = {10.1145/1210268.1210276},
timestamp = {Tue, 08 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tecs/RatschanS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/KlaedtkeRS07,
author = {Felix Klaedtke and
Stefan Ratschan and
Zhikun She},
editor = {Byron Cook and
Andreas Podelski},
title = {Language-Based Abstraction Refinement for Hybrid System Verification},
booktitle = {Verification, Model Checking, and Abstract Interpretation, 8th International
Conference, {VMCAI} 2007, Nice, France, January 14-16, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
pages = {151--166},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-69738-1\_11},
doi = {10.1007/978-3-540-69738-1\_11},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/vmcai/KlaedtkeRS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tocl/Ratschan06,
author = {Stefan Ratschan},
title = {Efficient solving of quantified inequality constraints over the real
numbers},
journal = {{ACM} Trans. Comput. Log.},
volume = {7},
number = {4},
pages = {723--748},
year = {2006},
url = {https://doi.org/10.1145/1183278.1183282},
doi = {10.1145/1183278.1183282},
timestamp = {Sun, 19 Jan 2025 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tocl/Ratschan06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adhs/RatschanS06,
author = {Stefan Ratschan and
Jan{-}Georg Smaus},
editor = {Christos G. Cassandras and
Alessandro Giua and
Carla Seatzu and
Janan Zaytoon},
title = {Verification-Integrated Falsification of non-Deterministic Hybrid
Systems},
booktitle = {2nd {IFAC} Conference on Analysis and Design of Hybrid Systems, {ADHS}
2006, Alghero, Italy, June 7-9, 2006},
series = {{IFAC} Proceedings Volumes},
number = {5},
pages = {371--376},
publisher = {Elsevier},
year = {2006},
url = {https://doi.org/10.3182/20060607-3-IT-3902.00068},
doi = {10.3182/20060607-3-IT-3902.00068},
timestamp = {Fri, 12 Oct 2018 12:38:52 +0200},
biburl = {https://dblp.org/rec/conf/adhs/RatschanS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aisc/RatschanS06,
author = {Stefan Ratschan and
Zhikun She},
editor = {Jacques Calmet and
Tetsuo Ida and
Dongming Wang},
title = {Constraints for Continuous Reachability in the Verification of Hybrid
Systems},
booktitle = {Artificial Intelligence and Symbolic Computation, 8th International
Conference, {AISC} 2006, Beijing, China, September 20-22, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
pages = {196--210},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11856290\_18},
doi = {10.1007/11856290\_18},
timestamp = {Wed, 20 Nov 2019 09:49:02 +0100},
biburl = {https://dblp.org/rec/conf/aisc/RatschanS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/DammPR05,
author = {Werner Damm and
Guilherme Pinto and
Stefan Ratschan},
editor = {Doron A. Peled and
Yih{-}Kuen Tsay},
title = {Guaranteed Termination in the Verification of {LTL} Properties of
Non-linear Robust Discrete Time Hybrid Systems},
booktitle = {Automated Technology for Verification and Analysis, Third International
Symposium, {ATVA} 2005, Taipei, Taiwan, October 4-7, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
pages = {99--113},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11562948\_10},
doi = {10.1007/11562948\_10},
timestamp = {Tue, 14 May 2019 10:00:49 +0200},
biburl = {https://dblp.org/rec/conf/atva/DammPR05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/Ratschan05,
author = {Stefan Ratschan},
editor = {Andreas Dolzmann and
Andreas Seidl and
Thomas Sturm},
title = {Solving Undecidable Problems in the Theory of Real Numbers and Hybrid
Systems},
booktitle = {Algorithmic Algebra and Logic. Proceedings of the {A3L} 2005, April
3-6, Passau, Germany; Conference in Honor of the 60th Birthday of
Volker Weispfenning},
pages = {213--216},
publisher = {Books on Demand},
year = {2005},
timestamp = {Tue, 30 Jun 2015 13:53:06 +0200},
biburl = {https://dblp.org/rec/conf/birthday/Ratschan05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/RatschanS05,
author = {Stefan Ratschan and
Zhikun She},
editor = {Manfred Morari and
Lothar Thiele},
title = {Safety Verification of Hybrid Systems by Constraint Propagation Based
Abstraction Refinement},
booktitle = {Hybrid Systems: Computation and Control, 8th International Workshop,
{HSCC} 2005, Zurich, Switzerland, March 9-11, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
pages = {573--589},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/978-3-540-31954-2\_37},
doi = {10.1007/978-3-540-31954-2\_37},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/hybrid/RatschanS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rc/JaulinRH04,
author = {Luc Jaulin and
Stefan Ratschan and
Laurent Hardouin},
title = {Set Computation for Nonlinear Control},
journal = {Reliab. Comput.},
volume = {10},
number = {1},
pages = {1--26},
year = {2004},
url = {https://doi.org/10.1023/B:REOM.0000003994.92390.a4},
doi = {10.1023/B:REOM.0000003994.92390.A4},
timestamp = {Thu, 16 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/rc/JaulinRH04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tocl/Ratschan04,
author = {Stefan Ratschan},
title = {Convergent approximate solving of first-order constraints by approximate
quantifiers},
journal = {{ACM} Trans. Comput. Log.},
volume = {5},
number = {2},
pages = {264--281},
year = {2004},
url = {https://doi.org/10.1145/976706.976709},
doi = {10.1145/976706.976709},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tocl/Ratschan04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/Ratschan03,
author = {Stefan Ratschan},
editor = {Francesca Rossi},
title = {Solving Existentially Quantified Constraints with One Equality and
Arbitrarily Many Inequalities},
booktitle = {Principles and Practice of Constraint Programming - {CP} 2003, 9th
International Conference, {CP} 2003, Kinsale, Ireland, September 29
- October 3, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
pages = {615--633},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-45193-8\_42},
doi = {10.1007/978-3-540-45193-8\_42},
timestamp = {Tue, 23 Jan 2024 13:25:46 +0100},
biburl = {https://dblp.org/rec/conf/cp/Ratschan03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jgo/Ratschan02,
author = {Stefan Ratschan},
title = {Search Heuristics for Box Decomposition Methods},
journal = {J. Glob. Optim.},
volume = {24},
number = {1},
pages = {35--49},
year = {2002},
url = {https://doi.org/10.1023/A:1016246616462},
doi = {10.1023/A:1016246616462},
timestamp = {Fri, 11 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jgo/Ratschan02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/Ratschan02,
author = {Stefan Ratschan},
title = {Quantified Constraints Under Perturbation},
journal = {J. Symb. Comput.},
volume = {33},
number = {4},
pages = {493--505},
year = {2002},
url = {https://doi.org/10.1006/jsco.2001.0519},
doi = {10.1006/JSCO.2001.0519},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/Ratschan02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rc/Ratschan02,
author = {Stefan Ratschan},
title = {Approximate Quantified Constraint Solving by Cylindrical Box Decomposition},
journal = {Reliab. Comput.},
volume = {8},
number = {1},
pages = {21--42},
year = {2002},
url = {https://doi.org/10.1023/A:1014785518570},
doi = {10.1023/A:1014785518570},
timestamp = {Thu, 16 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/rc/Ratschan02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aisc/Ratschan02,
author = {Stefan Ratschan},
editor = {Jacques Calmet and
Belaid Benhamou and
Olga Caprotti and
Laurent Henocque and
Volker Sorge},
title = {Continuous First-Order Constraint Satisfaction},
booktitle = {Artificial Intelligence, Automated Reasoning, and Symbolic Computation,
Joint International Conferences, {AISC} 2002 and Calculemus 2002,
Marseille, France, July 1-5, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
pages = {181--195},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45470-5\_18},
doi = {10.1007/3-540-45470-5\_18},
timestamp = {Sun, 02 Jun 2019 21:23:47 +0200},
biburl = {https://dblp.org/rec/conf/aisc/Ratschan02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/Ratschan02,
author = {Stefan Ratschan},
editor = {Pascal Van Hentenryck},
title = {Continuous First-Order Constraint Satisfactionwith Equality and Disequality
Constraints},
booktitle = {Principles and Practice of Constraint Programming - {CP} 2002, 8th
International Conference, {CP} 2002, Ithaca, NY, USA, September 9-13,
2002, Proceedings},
series = {Lecture Notes in Computer Science},
pages = {680--685},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-46135-3\_45},
doi = {10.1007/3-540-46135-3\_45},
timestamp = {Tue, 14 May 2019 10:00:45 +0200},
biburl = {https://dblp.org/rec/conf/cp/Ratschan02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cs-LO-0211016,
author = {Stefan Ratschan},
title = {Efficient Solving of Quantified Inequality Constraints over the Real
Numbers},
journal = {CoRR},
volume = {cs.LO/0211016},
year = {2002},
url = {http://arxiv.org/abs/cs/0211016},
timestamp = {Fri, 10 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/cs-LO-0211016.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cs-LO-0105021,
author = {Stefan Ratschan and
Luc Jaulin},
title = {Solving Composed First-Order Constraints from Discrete-Time Robust
Control},
journal = {CoRR},
volume = {cs.LO/0105021},
year = {2001},
url = {https://arxiv.org/abs/cs/0105021},
timestamp = {Fri, 10 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/cs-LO-0105021.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cs-LO-0108013,
author = {Stefan Ratschan},
title = {Convergent Approximate Solving of First-Order Constraints by Approximate
Quantifiers},
journal = {CoRR},
volume = {cs.LO/0108013},
year = {2001},
url = {https://arxiv.org/abs/cs/0108013},
timestamp = {Fri, 10 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/cs-LO-0108013.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jucs/Ratschan00,
author = {Stefan Ratschan},
title = {Uncertainty Propagation in Heterogeneous Algebras for Approximate
Quantified Constraint Solving},
journal = {J. Univers. Comput. Sci.},
volume = {6},
number = {9},
pages = {861--880},
year = {2000},
url = {https://doi.org/10.3217/jucs-006-09-0861},
doi = {10.3217/JUCS-006-09-0861},
timestamp = {Thu, 07 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jucs/Ratschan00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2026-03-31 00:28 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
