Alexander Weber

Available identifiers

zbMath Open weber.alexanderMaRDI QIDQ1941127

List of research outcomes

Publication	Date of Publication	Type
ABS: A formally correct software tool for space-efficient symbolic synthesis	2024-02-21	Paper
Optimized State Space Grids for Abstractions	2018-06-27	Paper
Feedback Refinement Relations for the Synthesis of Symbolic Controllers	2017-07-27	Paper
Classical and Strong Convexity of Sublevel Sets and Application to Attainable Sets of Nonlinear Systems	2015-02-09	Paper
A linear time algorithm to verify strong structural controllability	2014-12-21	Paper
Local characterization of strongly convex sets	2013-03-11	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: Alexander Weber