Login / Signup
Oliver Petrovic
ORCID
Publication Activity (10 Years)
Years Active: 2019-2023
Publications (10 Years): 4
Top Topics
Synthetic Data
Function Symbols
Robot Programming
Horn Clauses
Top Venues
AIM
IHSI
MMAR
FMICS
</>
Publications
</>
Oliver Petrovic
,
David Leander Dias Duarte
,
Werner Herfs
Generating Synthetic Data Using a Knowledge-based Framework for Autonomous Productions.
AIM
(2023)
Oliver Petrovic
,
Lukas Schäper
,
Simon Roggendorf
,
Simon Storms
,
Christian Brecher
Sim2Real Deep Reinforcement Learning of Compliance-based Robotic Assembly Operations.
MMAR
(2022)
Thomas Henn
,
Marcus Völker
,
Stefan Kowalewski
,
Minh Trinh
,
Oliver Petrovic
,
Christian Brecher
Verification of Behavior Trees using Linear Constrained Horn Clauses.
FMICS
(2022)
Werner Herfs
,
Simon Storms
,
Oliver Petrovic
An Approach on Simplifying the Commissioning of Collaborative Assembly Workstations Based on Product-Lifecycle-Management and Intuitive Robot Programming.
IHSI
(2019)