Lutz Schröder

Probabilistic Description Logics for Subjective Uncertainty

We propose a family of probabilistic description logics (DLs) that are derived in a principled way from Halpern’s probabilistic first-order logic. The resulting probabilistic DLs have a… (More)

Expressivity of coalgebraic modal logic: The limits and beyond

Lutz Schröder
Theor. Comput. Sci.
2008

Modal logic has a good claim to being the logic of choice for describing the reactive behaviour of systems modelled as coalgebras. Logics with modal operators obtained from so-called predicate… (More)

Integrating Generic Sensor Fusion Algorithms with Sound State Representations through Encapsulation of Manifolds

Christoph Hertzberg, René Wagner, Udo Frese, Lutz Schröder
Information Fusion
2013

Common estimation algorithms, such as least squares estimation or the Kalman filter, operate on a state in a state space S that is represented as a real-valued vector. However, for many quantities,… (More)

Modal Logics are Coalgebraic

Corina Cîrstea, Alexander Kurz, Dirk Pattinson, Lutz Schröder, Yde Venema
Comput. J.
2011

Algebraic-coalgebraic specification in CoCasl

Till Mossakowski, Lutz Schröder, Markus Roggenbach, Horst Reichel
J. Log. Algebr. Program.
2006

A Finite Model Construction for Coalgebraic Modal Logic

Lutz Schröder
FoSSaCS
2006

Closing a Million-Landmarks Loop

Udo Frese, Lutz Schröder
2006 IEEE/RSJ International Conference on…
2006

We present an improved version of the treemap SLAM algorithm which uses Cholesky factors for representing Gaussians and a hierarchical tree partitioning algorithm derived from the established… (More)

A Coinductive Calculus for Asynchronous Side-Effecting Processes

We present an abstract framework for concurrent processes in which atomic steps have generic side effects, handled according to the principle of monadic encapsulation of effects. Processes in this… (More)

HasCasl: Integrated higher-order specification and program development

Lutz Schröder, Till Mossakowski
Theor. Comput. Sci.
2009

We lay out the design of HasCasl, a higher order extension of the algebraic specification language Casl that serves both as a wide-spectrum language for the rigorous specification and development of… (More)

Monad-independent Dynamic Logic in HasCasl

Lutz Schröder, Till Mossakowski
J. Log. Comput.
2004

Monads have been recognized by Moggi as an elegant device for dealing with stateful computation in functional programming languages. In previous work, we have introduced a Hoare calculus for partial… (More)

Filter Results:

Publication Year

Publication Type

Co-author

Journals and Conferences