Bjørnar Luteberget

According to our database, Bjørnar Luteberget authored at least 14 papers between 2016 and 2024.

Collaborative distances:

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

2024

A MaxSAT approach for solving a new Dynamic Discretization Discovery model for train rescheduling problems.

Anna Livia Croella, Bjørnar Luteberget, Carlo Mannino, Paolo Ventura

Comput. Oper. Res., 2024

Autonomous Inspection and Maintenance Operations employing Multi-Robots: Preliminary Results.

M. A. Hinostroza, Anastasios M. Lekkas, Aksel Andreas Transeth, Bjørnar Luteberget, Christian de Jonge, Svein Ivar Sagatun

Proceedings of the 20th IEEE/ASME International Conference on Mechatronic and Embedded Systems and Applications, 2024

2023

An Optimization-Based Decision Support Tool for Incremental Train Timetabling.

Oddvar Kloster, Bjørnar Luteberget, Carlo Mannino, Giorgio Sartor

Oper. Res. Forum, September, 2023

Feasibility Jump: an LP-free Lagrangian MIP heuristic.

Bjørnar Luteberget, Giorgio Sartor

Math. Program. Comput., June, 2023

2021

SAT modulo discrete event simulation applied to railway design capacity analysis.

Bjørnar Luteberget, Koen Claessen, Christian Johansen, Martin Steffen

Formal Methods Syst. Des., 2021

Drawing with SAT: four methods and A tool for producing railway infrastructure schematics.

Bjørnar Luteberget, Christian Johansen

Formal Aspects Comput., 2021

Improving Online Railway Deadlock Detection using a Partial Order Reduction.

Bjørnar Luteberget

Proceedings of the Proceedings Third Workshop on Formal Methods for Autonomous Systems, 2021

2019

Automated Drawing of Railway Schematics Using Numerical Optimization in SAT.

Bjørnar Luteberget, Koen Claessen, Christian Johansen

Proceedings of the Integrated Formal Methods - 15th International Conference, 2019

Synthesis of Railway Signaling Layout from Local Capacity Specifications.

Bjørnar Luteberget, Christian Johansen, Martin Steffen

Proceedings of the Formal Methods - The Next 30 Years - Third World Congress, 2019

2018

Efficient verification of railway infrastructure designs against standard regulations.

Bjørnar Luteberget, Christian Johansen

Formal Methods Syst. Des., 2018

Design-Time Railway Capacity Verification using SAT modulo Discrete Event Simulation.

Bjørnar Luteberget, Koen Claessen, Christian Johansen

Proceedings of the 2018 Formal Methods in Computer Aided Design, 2018

2017

Participatory Verification of Railway Infrastructure by Representing Regulations in RailCNL.

Bjørnar Luteberget, John J. Camilleri, Christian Johansen, Gerardo Schneider

Proceedings of the Software Engineering and Formal Methods - 15th International Conference, 2017

2016

Rule-Based Consistency Checking of Railway Infrastructure Designs.

Bjørnar Luteberget, Christian Johansen, Martin Steffen

Proceedings of the Integrated Formal Methods - 12th International Conference, 2016

Rule-Based Incremental Verification Tools Applied to Railway Designs and Regulations.

Bjørnar Luteberget, Christian Johansen, Claus Feyling, Martin Steffen

Proceedings of the FM 2016: Formal Methods, 2016