Bjørnar Luteberget

15 papers B 6Journal 7Unranked 2
YearRankTypeTitle / Venue / Authors
2025 J jnl
DISPLIB: a library of train dispatching problems.
CoRR
Oddvar Kloster, Bjørnar Luteberget, Carlo Mannino, Giorgio Sartor
2024 J jnl
A MaxSAT approach for solving a new Dynamic Discretization Discovery model for train rescheduling problems.
Comput. Oper. Res.
Anna Livia Croella, Bjørnar Luteberget, Carlo Mannino, Paolo Ventura
2024 — conf
Autonomous Inspection and Maintenance Operations employing Multi-Robots: Preliminary Results.
MESA
Miguel A. Hinostroza, Anastasios M. Lekkas, Aksel Andreas Transeth, Bjørnar Luteberget, Christian de Jonge, Svein Ivar Sagatun
2023 J jnl
An Optimization-Based Decision Support Tool for Incremental Train Timetabling.
Oper. Res. Forum
Oddvar Kloster, Bjørnar Luteberget, Carlo Mannino, Giorgio Sartor
2023 J jnl
Feasibility Jump: an LP-free Lagrangian MIP heuristic.
Math. Program. Comput.
Bjørnar Luteberget, Giorgio Sartor
2021 J jnl
Drawing with SAT: four methods and A tool for producing railway infrastructure schematics.
Formal Aspects Comput.
Bjørnar Luteberget, Christian Johansen
2021 — conf
Improving Online Railway Deadlock Detection using a Partial Order Reduction.
FMAS
Bjørnar Luteberget
2021 J jnl
SAT modulo discrete event simulation applied to railway design capacity analysis.
Formal Methods Syst. Des.
Bjørnar Luteberget, Koen Claessen, Christian Johansen, Martin Steffen
2019 B conf
Automated Drawing of Railway Schematics Using Numerical Optimization in SAT.
IFM
Bjørnar Luteberget, Koen Claessen, Christian Johansen
2019 B conf
Synthesis of Railway Signaling Layout from Local Capacity Specifications.
FM
Bjørnar Luteberget, Christian Johansen, Martin Steffen
2018 B conf
Design-Time Railway Capacity Verification using SAT modulo Discrete Event Simulation.
FMCAD
Bjørnar Luteberget, Koen Claessen, Christian Johansen
2018 J jnl
Efficient verification of railway infrastructure designs against standard regulations.
Formal Methods Syst. Des.
Bjørnar Luteberget, Christian Johansen
2017 B conf
Participatory Verification of Railway Infrastructure by Representing Regulations in RailCNL.
SEFM
Bjørnar Luteberget, John J. Camilleri, Christian Johansen, Gerardo Schneider
2016 B conf
Rule-Based Consistency Checking of Railway Infrastructure Designs.
IFM
Bjørnar Luteberget, Christian Johansen, Martin Steffen
2016 B conf
Rule-Based Incremental Verification Tools Applied to Railway Designs and Regulations.
FM
Bjørnar Luteberget, Christian Johansen, Claus Feyling, Martin Steffen