Publication | Date of Publication | Type |
---|
A few lessons learned in reinforcement learning for quadcopter attitude control | 2024-02-21 | Paper |
On-the-Fly Control of Unknown Systems: From Side Information to Performance Guarantees Through Reachability | 2023-10-06 | Paper |
Estimating the Coverage Measure and the Area Explored by a Line-Sweep Sensor on the Plane | 2023-09-07 | Paper |
A many-sorted epistemic logic for chromatic hypergraphs | 2023-08-01 | Paper |
Inner and outer approximating flowpipes for delay differential equations | 2023-05-05 | Paper |
Persistent homology of directed spaces | 2023-05-05 | Paper |
Abstract strategies and coherence | 2023-03-30 | Paper |
A semi-abelian approach to directed homology | 2023-01-16 | Paper |
Algebraic coherent confluence and higher globular Kleene algebras | 2023-01-09 | Paper |
https://portal.mardi4nfdi.de/entity/Q5091106 | 2022-07-21 | Paper |
Static analysis of ReLU neural networks with tropical polyhedra | 2022-06-17 | Paper |
https://portal.mardi4nfdi.de/entity/Q3384879 | 2021-12-17 | Paper |
A Simplicial Model for $KB4_n$: Epistemic Logic with Agents that May Die | 2021-08-23 | Paper |
A dynamic epistemic logic analysis of equality negation and other epistemic covering tasks | 2021-08-03 | Paper |
A simplicial complex model for dynamic epistemic logic to study distributed task computability | 2021-06-03 | Paper |
A topological method for finding invariant sets of continuous systems | 2021-04-13 | Paper |
Directed Homotopy in Non-Positively Curved Spaces | 2020-07-30 | Paper |
A dynamic epistemic logic analysis of the equality negation task | 2020-07-08 | Paper |
Time-reversal homotopical properties of concurrent systems | 2020-05-27 | Paper |
Directed topological complexity | 2020-03-06 | Paper |
Inner and outer reachability for the verification of control systems | 2019-10-22 | Paper |
Uncertainty propagation using probabilistic affine forms and concentration of measure inequalities | 2019-09-17 | Paper |
From geometric semantics to asynchronous computability | 2018-08-24 | Paper |
Geometric and combinatorial views on asynchronous computability | 2018-08-13 | Paper |
https://portal.mardi4nfdi.de/entity/Q4608677 | 2018-03-21 | Paper |
Directed homology theories and Eilenberg-Steenrod axioms | 2018-02-22 | Paper |
A topological method for finding invariant sets of continuous systems | 2017-10-27 | Paper |
On directed homotopy equivalences and a notion of directed topological complexity | 2017-09-17 | Paper |
https://portal.mardi4nfdi.de/entity/Q5278395 | 2017-07-19 | Paper |
Forward Inner-Approximated Reachability of Non-Linear Continuous Systems | 2017-07-11 | Paper |
A Topological Method for Finding Invariant Sets of Switched Systems | 2017-05-19 | Paper |
Inner approximated reachability analysis | 2017-05-16 | Paper |
Future Path-components in Directed Topology | 2016-07-08 | Paper |
Static Analysis by Abstract Interpretation: A Mathematical Programming Approach | 2016-06-17 | Paper |
A geometric view of partial order reduction | 2016-04-12 | Paper |
A zonotopic framework for functional abstractions | 2016-02-25 | Paper |
Iterated chromatic subdivisions are collapsible | 2015-11-18 | Paper |
Natural Homology | 2015-11-04 | Paper |
Formal Relationships Between Geometrical and Classical Models for Concurrency | 2015-03-18 | Paper |
Computing the smallest fixed point of order-preserving nonexpansive mappings arising in positive stochastic games and static analysis of programs | 2015-03-10 | Paper |
Directed algebraic topology and concurrency. With a foreword by Maurice Herlihy and a preface by Samuel Mimram | 2015-02-11 | Paper |
An Accurate Join for Zonotopes, Preserving Affine Input/Output Relations | 2014-07-22 | Paper |
General inner approximation of vector-valued functions | 2013-10-07 | Paper |
Computing the vertices of tropical polyhedra using directed hypergraphs | 2013-03-20 | Paper |
Abstract interpretation meets convex optimization | 2012-07-13 | Paper |
Trace Spaces: An Efficient New Technique for State-Space Reduction | 2012-06-22 | Paper |
A generalization of \(p\)-boxes to affine arithmetic | 2012-04-04 | Paper |
Coupling policy iteration with semi-definite relaxation to compute accurate numerical invariants in static analysis | 2012-04-03 | Paper |
https://portal.mardi4nfdi.de/entity/Q3113735 | 2012-01-23 | Paper |
Policy Iteration within Logico-Numerical Abstract Domains | 2011-10-07 | Paper |
Static Analysis of Finite Precision Computations | 2011-02-15 | Paper |
Coupling Policy Iteration with Semi-definite Relaxation to Compute Accurate Numerical Invariants in Static Analysis | 2010-05-04 | Paper |
Covering space theory for directed topology | 2009-05-27 | Paper |
Static Analysis of Numerical Algorithms | 2009-03-12 | Paper |
Under-Approximations of Computations in Real Numbers Based on Generalized Affine Arithmetic | 2009-03-03 | Paper |
Inferring Min and Max Invariants Using Max-Plus Polyhedra | 2008-08-28 | Paper |
Components of the fundamental category. II | 2007-12-06 | Paper |
Numerical Software with Result Verification | 2007-09-28 | Paper |
Static Analysis by Policy Iteration on Relational Domains | 2007-09-04 | Paper |
CONCUR 2005 – Concurrency Theory | 2006-11-01 | Paper |
Algebraic topology and concurrency | 2006-08-16 | Paper |
Computer Aided Verification | 2006-01-10 | Paper |
https://portal.mardi4nfdi.de/entity/Q3044313 | 2004-08-11 | Paper |
https://portal.mardi4nfdi.de/entity/Q4738356 | 2004-08-11 | Paper |
Components of the fundamental category | 2004-05-27 | Paper |
Topological deformation of higher dimensional automata | 2004-02-22 | Paper |
On the geometry of intuitionistic S4 proofs | 2003-09-25 | Paper |
Some geometric perspectives in concurrency theory | 2003-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q4778705 | 2002-11-19 | Paper |
Geometry and concurrency: a user's guide | 2000-10-10 | Paper |
https://portal.mardi4nfdi.de/entity/Q4016018 | 1992-12-17 | Paper |