Concepedia

Benjamin Andres

BA

4

Publications

149

Citations

4

H-Index

2012

Active since

Affiliations

University of Potsdam(Current)

Benjamin Andres is an author at University of Potsdam specializing in engineering, computer science, and formal methods.

Top concepts

EngineeringComputer ScienceFormal MethodsComputer EngineeringPlanningRoboticsAutomationTask PlanningRobot LearningSatisfiability

Publications per year

2012–2023

4

Publications

4

Unsatisfiability-based optimization in clasp

Benjamin Andres, Benjamin Kaufmann, Oliver Matheis et al. · DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) · 2012 · 72 citations · Full text

Engineering, Algorithm Configuration, Software Engineering +17

Combining task and motion planning: A culprit detection problem

Fabien Lagriffoul, Benjamin Andres · The International Journal of Robotics Research · 2016 · 47 citations

Artificial Intelligence, Engineering, Intelligent Systems +17

Mechanochemical Oxidative Degradation of Thienopyridine Containing Drugs: Toward a Simple Tool for the Prediction of Drug Stability

Everaldo F. Krake, Laura Backer, Benjamin Andres et al. · ACS Central Science · 2023 · 16 citations · Full text

A Symbolic System Synthesis Approach for Hard Real-Time Systems Based on Coordinated SMT-Solving

Alexander Biewer, Benjamin Andres, Jens Gladigau et al. · Design, Automation & Test in Europe Conference & Exhibition (DATE), 2015 · 2015 · 14 citations

Engineering, Real-time System Design, Computer Architecture +22

Rows per page

1–4 of 4