
Generic Analysis of Model Product Lines via Constraint Lifting
Engineering a productline is more than just describing a productline: ...
read it

From Specifications to Behavior: Maneuver Verification in a Semantic State Space
To realize a market entry of autonomous vehicles in the foreseeable futu...
read it

The Simpler the Better: Constant Velocity for Pedestrian Motion Prediction
Pedestrian motion prediction is a fundamental task for autonomous robots...
read it

Traceability of Deep Neural Networks
[Context.] The success of deep learning makes its usage more and more te...
read it

Decidability and Undecidability Results for Propositional Schemata
We define a logic of propositional formula schemata adding to the syntax...
read it

Generating Schemata of Resolution Proofs
Two distinct algorithms are presented to extract (schemata of) resolutio...
read it

Linear Temporal Logic and Propositional Schemata, Back and Forth (extended version)
This paper relates the wellknown Linear Temporal Logic with the logic o...
read it

A Decidable Class of Nested Iterated Schemata (extended version)
Many problems can be specified by patterns of propositional formulae dep...
read it
Vincent Aravantinos
is this you? claim profile