Andreas Eggers

From MaRDI portal
Person:547915

Available identifiers

zbMath Open eggers.andreasMaRDI QIDQ547915

List of research outcomes





PublicationDate of PublicationType
Improving SAT modulo ODE for hybrid systems analysis by combining different enclosure methods2011-10-28Paper
Superposition modulo non-linear arithmetic2011-10-07Paper
Constraint-based analysis of concurrent probabilistic hybrid systems: an application to networked automation systems2011-06-27Paper
Engineering constraint solvers for automatic analysis of probabilistic hybrid automata2010-10-22Paper
Challenges in Constraint-Based Analysis of Hybrid Systems2009-08-06Paper
SAT Modulo ODE: A Direct SAT Approach to Hybrid Systems2008-11-20Paper

Research outcomes over time

This page was built for person: Andreas Eggers

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