Tino Teige

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Incremental bounded model checking for embedded software Formal Aspects of Computing	2017-11-29	Paper
Generalized Craig interpolation for stochastic Boolean satisfiability problems with applications to probabilistic state reachability and region stability Logical Methods in Computer Science	2012-07-03	Paper
Superposition modulo non-linear arithmetic Frontiers of Combining Systems	2011-10-07	Paper
Constraint-based analysis of concurrent probabilistic hybrid systems: an application to networked automation systems Nonlinear Analysis. Hybrid Systems	2011-06-27	Paper
Generalized Craig interpolation for stochastic Boolean satisfiability problems Tools and Algorithms for the Construction and Analysis of Systems	2011-05-19	Paper
Engineering constraint solvers for automatic analysis of probabilistic hybrid automata The Journal of Logic and Algebraic Programming	2010-10-22	Paper
Resolution for stochastic Boolean satisfiability Logic for Programming, Artificial Intelligence, and Reasoning	2010-10-12	Paper
Challenges in Constraint-Based Analysis of Hybrid Systems Lecture Notes in Computer Science	2009-08-06	Paper
Stochastic Satisfiability Modulo Theory: A Novel Technique for the Analysis of Probabilistic Hybrid Systems Hybrid Systems: Computation and Control	2008-09-02	Paper
Stochastic Satisfiability Modulo Theories for Non-linear Arithmetic Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems	2008-05-27	Paper
scientific article; zbMATH DE number 5263038 (Why is no real title available?)	2008-04-14	Paper

Research outcomes over time

This page was built for person: Tino Teige