Følg
Peter Taankvist
Titel
Citeret af
Citeret af
År
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
62021
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
62021
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
42022
Methods for Efficient Unfolding of Colored Petri Nets
A Bilgram, PG Jensen, T Pedersen, J Srba, PH Taankvist
Fundamenta Informaticae 189, 2023
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
Systemet kan ikke foretage handlingen nu. Prøv igen senere.
Artikler 1–6