|
[JMT24]
Kenneth Johnson, Samaneh Madanian and Catia Trubiani.
Patterns of Applied Control for Public Health Measures on Transportation Services under Epidemic.
In Proc. 19th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS'24).
2024.
[Proposes a methodology for modelling and analysing epidemic scenarios, using probabilistic model checking and PRISM.]
|
|
Links:
[Google]
[Google Scholar]
|