| 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 | 7 | 2021 |
| 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 |
| An investigation of safe and near-optimal strategies for prevention of Covid-19 exposure using stochastic hybrid models and machine learning A Bilgram, PG Jensen, KY Jørgensen, KG Larsen, M Mikučionis, M Muñiz, ... Decision Analytics Journal 5, 100141, 2022 | 4 | 2022 |
| Methods for Efficient Unfolding of Colored Petri Nets A Bilgram, PG Jensen, T Pedersen, J Srba, PH Taankvist Fundamenta Informaticae 189, 2023 | 1 | 2023 |
| HMKAAL: Formal Verification and Detection of Non-determinism and Data Races in Industrial Systems A Bilgram, E Ernstsen, PB Greve, PH Taankvist, T Pedersen | | |
| Unfolding of Colored Petri Nets by Color Quotienting and Approximation A Bilgram, T Pedersen, P Taankvist | | |
Peter TaankvistStudent Aalborg University在 student.aau.dk 的电子邮件经过验证
Peter TaankvistStudent Aalborg University在 student.aau.dk 的电子邮件经过验证