Felix Winterer

Publication Activity (10 Years)

Years Active: 2019-2023
Publications (10 Years): 6

Top Topics

Agent Architecture

Enhancing Learning

Iterative Closest Point Algorithm

Top Venues

Publications

Tobias Seufert, Felix Winterer, Christoph Scholl, Karsten Scheibler, Tobias Paxian, Bernd Becker
Everything You Always Wanted to Know About Generalization of Proof Obligations in PDR. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 42 (4) (2023)
Tobias Seufert, Felix Winterer, Christoph Scholl, Karsten Scheibler, Tobias Paxian, Bernd Becker
Everything You Always Wanted to Know About Generalization of Proof Obligations in PDR. CoRR (2021)
Lukas Mentel, Karsten Scheibler, Felix Winterer, Bernd Becker, Tino Teige
Benchmarking SMT Solvers on Automotive Code. MBMV (2021)
Karsten Scheibler, Felix Winterer, Tobias Seufert, Tino Teige, Christoph Scholl, Bernd Becker
ICP and IC3. DATE (2021)
Felix Winterer, Tobias Seufert, Karsten Scheibler, Tino Teige, Chritsoph Scholl, Bernd Becker
ICP and IC3 with Stronger Generalization. MBMV (2021)
Leonie Feldbusch, Felix Winterer, Johannes Gramsch, Linus Feiten, Bernd Becker
SMILE Goes Gaming: Gamification in a Classroom Response System for Academic Teaching. CSEDU (2) (2019)