Top Tweets for #PRISMModelChecker

Formal Methods at Glasgow Uni @FormalMethodsGU

over 4 years ago

one paper by @Blair_Archibald, Muffy Calder, @michele_seve and Mengwei Xu on “Observable and Attention-Directing BDI Agents for Human-Autonomy Teaming” featuring unmanned aerial vehicles, #BigraphER, and #PRISMmodelchecker https://t.co/SSvtCoz3dP @PETRASiot @S4programme [3/3]

Formal Methods at Glasgow Uni @FormalMethodsGU

over 4 years ago

Congratulations to @Blair_Archibald, Muffy Calder, @michele_seve & Mengwei Xu for their @sefm_conf paper “Probabilistic BDI Agents: Actions, Plans, and Intentions” - a probabilistic extension of the Conceptual Agent Notation w/#Bigraphs #PRISMmodelchecker https://t.co/bBOLhOLyov

SEFM Conference @sefm_conf

over 4 years ago

The papers accepted for presentation at SEFM 2021 are now listed under https://t.co/p2q644YCXY We decided to accept 22 full papers and 4 tool papers out of the 86 submissions (25.58% full paper acceptance rate).

Oana Andrei @OanaMAndrei

about 5 years ago

Loved the news from @davexparker @uobcompsci on the new release of #PrismModelChecker which includes now support for POMDP/POPTA amongst other new goodies! 👏 🎉 https://t.co/fJfrjEHjk0 @gethinnorman @FormalMethodsGU (Now “just” to find actual time to use it in my research 🤔)

Formal Methods at Glasgow Uni @FormalMethodsGU

over 6 years ago

Our @gethinnorman co-authored the FM'19 paper "Equilibria-Based #ProbabilisticModelChecking for Concurrent #StochasticGames" with Marta Kwiatkowska, @davexparker and Gabriel Santos -- #TemporalLogic #NashEquilibria #StochasticGames #PRISMModelChecker @formalmethods19

Top Tweets for #PRISMModelChecker

Last Seen Hashtags on Sotwe

Trends for you

Most Popular Users