Christoffer Sloth

Available identifiers

zbMath Open sloth.christofferDBLP76/8397WikidataQ58608956 ScholiaQ58608956MaRDI QIDQ360649

List of research outcomes

Publication	Date of Publication	Type
$p$-Safe Analysis of Stochastic Hybrid Processes	2021-03-12	Paper
Nonnegative Polynomial with no Certificate of Nonnegativity in the Simplicial Bernstein Basis	2017-10-12	Paper
Safety Verification of Piecewise-Deterministic Markov Processes	2017-05-19	Paper
Compositional safety analysis using barrier certificates	2017-05-16	Paper
Control to facet for polynomial systems	2017-05-16	Paper
Converse Barrier Certificate Theorems	2017-05-03	Paper
Complete abstractions of dynamical systems by timed automata	2013-08-27	Paper
Verification of continuous dynamical systems by timed automata	2012-03-09	Paper

Research outcomes over time

This page was built for person: Christoffer Sloth