Online and proactive vehicle rerouting with uppaal stratego A Bilgram, E Ernstsen, P Greve, H Lahrmann, KG Larsen, M Muniz, ... Transportation Research Record 2675 (11), 13-22, 2021 | 6 | 2021 |
Improvements in unfolding of colored petri nets A Bilgram, PG Jensen, T Pedersen, J Srba, PH Taankvist Reachability Problems: 15th International Conference, RP 2021, Liverpool, UK …, 2021 | 6 | 2021 |