research
∙
08/26/2020
Generic Analysis of Model Product Lines via Constraint Lifting
Engineering a product-line is more than just describing a product-line: ...
share
research
∙
05/02/2019
From Specifications to Behavior: Maneuver Verification in a Semantic State Space
To realize a market entry of autonomous vehicles in the foreseeable futu...
research
∙
03/19/2019
The Simpler the Better: Constant Velocity for Pedestrian Motion Prediction
Pedestrian motion prediction is a fundamental task for autonomous robots...
research
∙
12/17/2018
Traceability of Deep Neural Networks
[Context.] The success of deep learning makes its usage more and more te...
research
∙
01/16/2014
Decidability and Undecidability Results for Propositional Schemata
We define a logic of propositional formula schemata adding to the syntax...
research
∙
06/14/2011
Generating Schemata of Resolution Proofs
Two distinct algorithms are presented to extract (schemata of) resolutio...
research
∙
02/10/2011
Linear Temporal Logic and Propositional Schemata, Back and Forth (extended version)
This paper relates the well-known Linear Temporal Logic with the logic o...
research
∙
01/24/2010