Author of the publication

A Dedicated Algorithm for Verification of Interlocking Systems.

, and . SAFECOMP, volume 9922 of Lecture Notes in Computer Science, page 76-87. Springer, (2016)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

A Dedicated Algorithm for Verification of Interlocking Systems., and . SAFECOMP, volume 9922 of Lecture Notes in Computer Science, page 76-87. Springer, (2016)The world migration network: Rankings, groups and gravity models., and . EUROCON, page 1-6. IEEE, (2015)Improving Branch-and-Bound Using Decision Diagrams and Reinforcement Learning., , , and . CPAIOR, volume 12735 of Lecture Notes in Computer Science, page 446-455. Springer, (2021)Improved Peel-and-Bound: Methods for Generating Dual Bounds with Multivalued Decision Diagrams., , and . J. Artif. Intell. Res., (2023)MARCO: A Memory-Augmented Reinforcement Framework for Combinatorial Optimization., , , and . IJCAI, page 6931-6939. ijcai.org, (2024)The Machine Learning for Combinatorial Optimization Competition (ML4CO): Results and Insights., , , , , , , , , and 32 other author(s). NeurIPS (Competition and Demos), volume 176 of Proceedings of Machine Learning Research, page 220-231. PMLR, (2021)Estimating Road Construction Costs with Explainable Machine Learning., , and . INFORMS J. Appl. Anal., 55 (2): 137-153 (2025)The BrowserGym Ecosystem for Web Agent Research., , , , , , , , , and 10 other author(s). Trans. Mach. Learn. Res., (2025)Repositioning Fleet Vehicles: A Learning Pipeline., , , and . LION, volume 14286 of Lecture Notes in Computer Science, page 301-317. Springer, (2023)Peel-And-Bound: Generating Stronger Relaxed Bounds with Multivalued Decision Diagrams., , and . CP, volume 235 of LIPIcs, page 35:1-35:20. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2022)