Christoffer Sloth

Available identifiers

zbMath Open sloth.christofferWikidataQ58608956 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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Christoffer Sloth