Patricia Bouyer-Decitre
@patriciabouyer.bsky.social
Reposted by Patricia Bouyer-Decitre
Second keynote speaker of Petri Nets 2025: @patriciabouyer.bsky.social from LMF (ENS Paris-Saclay) talking about Probabilistic and Statistical Verification of Infinite Markov Chains.
(Featuring works from ANR BisoUS)
petrinets25.github.io/web/speakers/
(Featuring works from ANR BisoUS)
petrinets25.github.io/web/speakers/
June 26, 2025 at 7:10 AM
Second keynote speaker of Petri Nets 2025: @patriciabouyer.bsky.social from LMF (ENS Paris-Saclay) talking about Probabilistic and Statistical Verification of Infinite Markov Chains.
(Featuring works from ANR BisoUS)
petrinets25.github.io/web/speakers/
(Featuring works from ANR BisoUS)
petrinets25.github.io/web/speakers/