Research scientist at SINTEF Optimization.
Working on automated reasoning, formal methods, and optimization, with applications in railways, power grid, architecture, and more.
- A MaxSAT approach for solving a new Dynamic Discretization Discovery model for train rescheduling problems
2023 - Anna Livia Croella, Bjørnar Luteberget, Carlo Mannino, Paolo Ventura - An optimization-based decision support tool for incremental train timetabling
2023 - Oddvar Kloster, Bjørnar Luteberget, Carlo Mannino, Giorgio Sartor - Feasibility Jump: an LP-free Lagrangian MIP heuristic
2022 - Bjørnar Luteberget, Giorgio Sartor - Abstraction Refinement of Parallel Transition Systems in an SMT-based Timeline Planner
2021-2022 - Bjørnar Luteberget, Synne Fossøy - Improving Online Railway Deadlock Detection using a Partial Order Reduction
2021 - Bjørnar Luteberget - Drawing with SAT: Four Methods and A Tool for Producing Railway Infrastructure Schematics
2019-2021 - Bjørnar Luteberget, Koen Claessen, Christian Johansen - SAT modulo Discrete Event Simulation Applied to Railway Design Capacity Analysis
2018-2021 - Bjørnar Luteberget, Koen Claessen, Christian Johansen, Martin Steffen - Synthesis of Railway Signaling Layout from Local Capacity Specifications
2019 - Bjørnar Luteberget, Christian Johansen, Martin Steffen - Efficient Verification of Railway Infrastructure Designs Against Standard Regulations
2015-2017 - Bjørnar Luteberget, Christian Johansen, Martin Steffen - RailCNL: A Controlled Natural Language for Railway Design Verification Specifications
2017-2019 - Bjørnar Luteberget, John J. Camilleri, Christian Johansen, Gerardo Schneider
Ph.D. thesis (2019): Automated Reasoning for Planning Railway Infrastructure
Master's thesis (2010): Numerical approximation of conformal mappings
- 2024-11-11: Planning and execution of UAV surveillance missions
ROBPLAN project webinar - 2024-09-11: Conflict-based search for real-time railway dispatching
Optimization and Decision Science conference (ODS) 2024 - 2024-09-10: The DISPLIB 2025 train dispatching competition
Optimization and Decision Science conference (ODS) 2024 - 2024-05-14: Conflict analysis in SAT solvers
SINTEF internal seminar - 2024-01-24: Dynamic time discretization for train scheduling
Europe's Rail MOTIONAL project meeting - 2023-12-01: Optimizing radial power distribution grids
Norwegian operations research society (NORS) workshop “Reality bites” - 2023-09-07: The Feasibility Jump: an LP-free Lagrangian MIP heuristic
Optimization and Decision Science conference (ODS) 2023 - 2023-03-28: Optimization using a SAT solver
SINTEF internal seminar - 2022-09-14: Planning Autonomous Marine Inspection Tasks Using SMT Encoding of Timelines
Control Applications in Marine Systems, Robotics and Vehicles (CAMS) conference 2022 - 2021-10-22: Improving Online Railway Deadlock Detection using a Partial Order Reduction
Formal Methods for Autonomous Systems (FMAS) workshop 2021 - 2019-12-04: Automated Drawing of Railway Schematics using Numerical Optimization in SAT
Integrated Formal Methods (iFM) conference 2019 - 2019-10-28: SAT-based algorithms in railway infrastructure design
SINTEF - 2019-10-18: Automated Reasoning for Planning Railway Infrastructure
University of Oslo Ph.D. defence - 2019-10-18: Algorithmic Game Theory
University of Oslo trial lecture (a part of the Ph.D. defence) - 2019-10-09: Optimization and synthesis of railway signalling layout from local capacity specifications
Formal Methods (FM) conference 2019 - 2018-10-25: Design of railway signalling using SAT-based planning
Nordic Workshop on Programming Theory (NWPT) 2018 - 2018-10-08: Design-Time Railway Capacity Verification using SAT modulo Discrete Event Simulation
Chalmers University Formal Methods group seminar - 2017-10: RailCons Railway Infrastructure Verification
TU Darmstadt visit - 2016-11-10: Rule-based Incremental Verification Tools Applied to Railway Designs and Regulations
Formal Methods (FM) conference 2016