Peter Böhm

21 papers A* 1A 1B 3C 6Journal 7Unranked 2
YearRankTypeTitle / Venue / Authors
2026 J jnl
RAPT: Model-Predictive Out-of-Distribution Detection and Failure Diagnosis for Sim-to-Real Humanoid Robots.
CoRR
Humphrey Munn, Brendan Tidd, Peter Böhm, Marcus Gallagher, Gerard David Howard
2025 J jnl
Low-cost Real-world Implementation of the Swing-up Pendulum for Deep Reinforcement Learning Experiments.
CoRR
Peter Böhm, Pauline Pounds, Archie C. Chapman
2025 J jnl
Scalable Multi-Objective Robot Reinforcement Learning through Gradient Conflict Resolution.
CoRR
Humphrey Munn, Brendan Tidd, Peter Böhm, Marcus Gallagher, David Howard
2025 J jnl
Training Directional Locomotion for Quadrupedal Low-Cost Robotic Systems via Deep Reinforcement Learning.
CoRR
Peter Böhm, Archie C. Chapman, Pauline Pounds
2023 A* conf
Feature Extraction for Effective and Efficient Deep Reinforcement Learning on Real Robotic Platforms.
ICRA
Peter Böhm, Pauline Pounds, Archie C. Chapman
2022 A conf
Non-blocking Asynchronous Training for Reinforcement Learning in Real-World Environments.
IROS
Peter Böhm, Pauline Pounds, Archie C. Chapman
2017 C conf
Limits and Potentials of Grasping User Interaction in Controlled and Open World Environments - Contrasting PIAAC Large-Scale-Assessment Usage Data with Web Analytics.
ISI
Peter Böhm, Christoph Schindler, Heiko Rölke, Marc Rittberger
2016 J jnl
Einsatz von Webanalyse in überregionalen Informationsinfrastruktureinrichtungen.
Inf. Wiss. Prax.
Peter Böhm, Marc Rittberger
2015 J jnl
FASTER: Facilitating Analysis and Synthesis Technologies for Effective Reconfiguration.
Microprocess. Microsystems
Dionisios N. Pnevmatikatos, Kyprianos Papadimitriou, Tobias Becker, Peter Böhm, Andreas Brokalakis, Karel Bruneel, Catalin Bogdan Ciobanu, Tom Davidson, Georgi Gaydadjiev, Karel Heyse, Wayne Luk, Xinyu Niu, Ioannis Papaefstathiou, Danilo Pau, Oliver Pell, Christian Pilato, Marco D. Santambrogio, Donatella Sciuto, Dirk Stroobandt, Tim Todman, Elias Vansteenkiste
2015 C conf
Qualitative Web Analytics: New Insights into Navigation Analysis and User Behavior - A Case Study of the German Education Server.
ISI
Stefan Keil, Peter Böhm, Marc Rittberger
2012 — conf
Verification of streaming hardware and software codesigns.
FPT
Tim Todman, Peter Böhm, Wayne Luk
2011 — —
Incremental modelling for verified communication architectures.
Peter Böhm
2011 B conf
Lem: A Lightweight Tool for Heavyweight Semantics.
ITP
Scott Owens, Peter Böhm, Francesco Zappa Nardelli, Peter Sewell
2011 C conf
Nutzungsanalyse des Deutschen Bildungsservers und Konzeption eines Personalisierungsangebots.
ISI
Peter Böhm, Marc Rittberger
2010 B conf
A framework for incremental modelling and verification of on-chip protocols.
FMCAD
Peter Böhm
2010 J jnl
Incremental and Verified Modeling of the PCI Express Protocol.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
Peter Böhm
2009 C conf
Incremental modelling and verification of the PCI Express transaction layer.
MEMOCODE
Peter Böhm
2008 B conf
A Refinement Approach to Design and Verification of On-Chip Communication Protocols.
FMCAD
Peter Böhm, Tom Melham
2008 C conf
Correctness of a Fault-Tolerant Real-Time Scheduler and its Hardware Implementation.
MEMOCODE
Eyad Alkassar, Peter Böhm, Steffen Knapp
2008 — conf
Formal Correctness of an Automotive Bus Controller Implementation at Gate-Level.
DIPES
Eyad Alkassar, Peter Böhm, Steffen Knapp
2005 C conf
Towards the Formal Verification of Lower System Layers in Automotive Systems.
ICCD
Sven Beyer, Peter Böhm, Michael Gerke, Mark A. Hillebrand, Thomas In der Rieden, Steffen Knapp, Dirk Leinenbach, Wolfgang J. Paul