연구실 목록
Bernd Finkbeiner 교수 연구 프로필
뮌헨 공과대학교 · 컴퓨터과학과
공개 교수 정보에 기반한 연구 프로필입니다. 독립 연구실 운영 및 학생 모집 여부는 아직 확인되지 않았습니다.
정보 출처2026. 7. 22. 확인
소개
뮌헨 공과대학교 컴퓨터과학과 소속 Bernd Finkbeiner 교수의 등록된 연구 분야는 Verification and Synthesis of Reactive Systems입니다.
연구 키워드
Verification and Synthesis of Reactive Systems
최근 논문
- Artifact for the Paper "Less Effort, Shorter Proofs: Reinforcement Learning for Security Protocol Analysis in Tamarin"Zenodo (CERN European Organization for Nuclear Research) · 9월 11일
- Predictive Zonotope Reduction: Precise Runtime Monitoring under Uncertainty프리프린트arXiv (Cornell University) · 9월 3일
- Stream-based Online and Offline Monitoring under Measurement Noise프리프린트arXiv (Cornell University) · 8월 13일
OpenAlex 기준 · 저자 소속이 이 대학으로 확인된 논문이에요
비슷한 연구를 하는 다른 연구실
이 연구실의 최근 논문과 주제가 겹치는 논문을 최근에 낸 연구실이에요
Majid Khadiv 교수 연구실
뮌헨 공과대학교 · 컴퓨터공학과
FERPO: Forward Entropy-Regularized Policy Optimization프리프린트arXiv (Cornell University) · 10월 1일겹치는 주제: Reinforcement Learning in Robotics
Jian-Jia Chen 교수 연구실
아헨 공과대학교 · 컴퓨터과학과
LLTA: A Simplicity-Oriented Open-Source WCET Analyser프리프린트arXiv (Cornell University) · 9월 30일겹치는 주제: Formal Methods in Verification
Angela Schoellig 교수 연구실
뮌헨 공과대학교 · 컴퓨터공학과
UWB Meets Crazyflow: Simulating Degraded Feedback at Scale for Aerial Robotics프리프린트arXiv (Cornell University) · 10월 6일겹치는 주제: Reinforcement Learning in Robotics
같은 학과의 다른 연구실
- 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