Follow
Stefan Ratschan
Stefan Ratschan
Verified email at cs.cas.cz - Homepage
Title
Cited by
Cited by
Year
Efficient solving of large non-linear arithmetic constraint systems with complex boolean structure
M Fränzle, C Herde, T Teige, S Ratschan, T Schubert
Journal on Satisfiability, Boolean Modeling and Computation 1 (3-4), 209-236, 2006
4522006
Safety verification of hybrid systems by constraint propagation-based abstraction refinement
S Ratschan, Z She
ACM Transactions on Embedded Computing Systems (TECS) 6 (1), 8-es, 2007
2132007
Safety verification of hybrid systems by constraint propagation based abstraction refinement
S Ratschan, Z She
International workshop on hybrid systems: Computation and control, 573-589, 2005
1722005
Efficient solving of quantified inequality constraints over the real numbers
S Ratschan
ACM Transactions on Computational Logic (TOCL) 7 (4), 723-748, 2006
1552006
Providing a basin of attraction to a target region of polynomial systems by computation of Lyapunov-like functions
S Ratschan, Z She
SIAM Journal on Control and Optimization 48 (7), 4377-4394, 2010
1312010
Safety verification for probabilistic hybrid systems
L Zhang, Z She, S Ratschan, H Hermanns, EM Hahn
European Journal of Control 18 (6), 572-587, 2012
1112012
Continuous first-order constraint satisfaction
S Ratschan
International Conference on Artificial Intelligence and Symbolic Computation …, 2002
542002
Approximate quantified constraint solving by cylindrical box decomposition
S Ratschan
Reliable Computing 8 (1), 21-42, 2002
522002
Quantified constraints under perturbation
S Ratschan
Journal of Symbolic Computation 33 (4), 493-505, 2002
382002
RSolver
S Ratschan
372004
Constraints for continuous reachability in the verification of hybrid systems
S Ratschan, Z She
International Conference on Artificial Intelligence and Symbolic Computation …, 2006
312006
Guaranteed termination in the verification of LTL properties of non-linear robust discrete time hybrid systems
W Damm, G Pinto, S Ratschan
International Symposium on Automated Technology for Verification and …, 2005
292005
Combined global and local search for the falsification of hybrid systems
J Kuøátko, S Ratschan
Formal Modeling and Analysis of Timed Systems: 12th International Conference …, 2014
282014
Applications of quantified constraint solving over the reals-bibliography
S Ratschan
arXiv preprint arXiv:1205.5571, 2012
282012
Guaranteed termination in the verification of LTL properties of non-linear robust discrete time hybrid systems
W Damm, G Pinto, S Ratschan
International Journal of Foundations of Computer Science 18 (01), 63-86, 2007
282007
Safety verification of non-linear hybrid systems is quasi-decidable
S Ratschan
Formal Methods in System Design 44 (1), 71-90, 2014
232014
Safety verification of non-linear hybrid systems is quasi-semidecidable
S Ratschan
Theory and Applications of Models of Computation: 7th Annual Conference …, 2010
222010
Applications of quantified constraint solving over the reals–bibliography. arXiv: 1205. 5571v1. Cornell University Library, Ithaca, New York, 2012
S Ratschan
21
Converse theorems for safety and barrier certificates
S Ratschan
IEEE Transactions on Automatic Control 63 (8), 2628-2632, 2018
202018
Effective topological degree computation based on interval arithmetic
P Franek, S Ratschan
Mathematics of Computation 84 (293), 1265-1290, 2015
202015
The system can't perform the operation now. Try again later.
Articles 1–20