Tino Teige

From MaRDI portal
Person:547914

Available identifiers

zbMath Open teige.tinoMaRDI QIDQ547914

List of research outcomes





PublicationDate of PublicationType
Incremental bounded model checking for embedded software2017-11-29Paper
Generalized Craig interpolation for stochastic Boolean satisfiability problems with applications to probabilistic state reachability and region stability2012-07-03Paper
Superposition modulo non-linear arithmetic2011-10-07Paper
Constraint-based analysis of concurrent probabilistic hybrid systems: an application to networked automation systems2011-06-27Paper
Generalized Craig interpolation for stochastic Boolean satisfiability problems2011-05-19Paper
Engineering constraint solvers for automatic analysis of probabilistic hybrid automata2010-10-22Paper
Resolution for stochastic Boolean satisfiability2010-10-12Paper
Challenges in Constraint-Based Analysis of Hybrid Systems2009-08-06Paper
Stochastic Satisfiability Modulo Theory: A Novel Technique for the Analysis of Probabilistic Hybrid Systems2008-09-02Paper
Stochastic Satisfiability Modulo Theories for Non-linear Arithmetic2008-05-27Paper
https://portal.mardi4nfdi.de/entity/Q54572772008-04-14Paper

Research outcomes over time

This page was built for person: Tino Teige

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:547914&oldid=6612869"
Powered by MediaWiki