Björn Beber

According to our database, Björn Beber authored at least 3 papers between 2015 and 2018.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2018

Improving interpolants of non-convex polyhedra with linear arithmetic and probably approximatley correct learning for bounded linear arrangements.

Björn Beber

PhD thesis, 2018

2017

Verification of linear hybrid systems with large discrete state spaces using counterexample-guided abstraction refinement.

Ernst Althaus, Björn Beber, Werner Damm, Stefan Disch, Willem Hagemann, Astrid Rakow, Christoph Scholl, Uwe Waldmann, Boris Wirtz

Sci. Comput. Program., 2017

2015

Improving Interpolants for Linear Arithmetic.

Ernst Althaus, Björn Beber, Joschka Kupilas, Christoph Scholl

Proceedings of the Automated Technology for Verification and Analysis, 2015