Prof. Bernd Finkbeiner — Research Profile
Technical University of Munich · Department of Computer Science
About
Prof. Bernd Finkbeiner at Technical University of Munich Department of Computer Science lists Verification and Synthesis of Reactive Systems as their registered research area.
Research keywords
Recent papers
- Artifact for the Paper "Less Effort, Shorter Proofs: Reinforcement Learning for Security Protocol Analysis in Tamarin"Zenodo (CERN European Organization for Nuclear Research) · Sep 11
- Predictive Zonotope Reduction: Precise Runtime Monitoring under UncertaintyPreprintarXiv (Cornell University) · Sep 3
- Stream-based Online and Offline Monitoring under Measurement NoisePreprintarXiv (Cornell University) · Aug 13
From OpenAlex · papers whose author affiliation matches this university
Labs doing related research
Labs that recently published on topics this lab's recent papers share
Majid Khadiv 교수 연구실
Technical University of Munich · Department of Computer Engineering
FERPO: Forward Entropy-Regularized Policy OptimizationPreprintarXiv (Cornell University) · Oct 1Shared topic: Reinforcement Learning in Robotics
Cyber-Physical Systems
RWTH Aachen University · Computer Science
LLTA: A Simplicity-Oriented Open-Source WCET AnalyserPreprintarXiv (Cornell University) · Sep 30Shared topic: Formal Methods in Verification
Angela Schoellig 교수 연구실
Technical University of Munich · Department of Computer Engineering
UWB Meets Crazyflow: Simulating Degraded Feedback at Scale for Aerial RoboticsPreprintarXiv (Cornell University) · Oct 6Shared topic: Reinforcement Learning in Robotics
Other labs in this department
- Alexander Fraser 교수 연구실
Data Analytics and Statistics
- Alexander Pretschner 교수 연구실
Software and Systems Engineering
- Ali Sunyaev 교수 연구실
Information Infrastructures
- Andrea Stocco 교수 연구실
Software Engineering for Data-intensive Applications
- Angela Dai 교수 연구실
3D Artificial Intelligence
- Burkhard Rost 교수 연구실
Bioinformatics