Verifying Team Formation Protocols with Probabilistic Model Checking

Verifying Team Formation Protocols with Probabilistic Model Checking

Bibliographic Details
Main Authors:	Chen, T, Kwiatkowska, M, Parker, D, Simaitis, A
Format:	Conference item
Published:	Springer 2011

Similar Items

Probabilistic model checking and autonomy
by: Kwiatkowska, M, et al.
Published: (2021)

Probabilistic model checking of complex biological pathways
by: Heath, J, et al.
Published: (2008)

Equilibria-based probabilistic model checking for concurrent stochastic games
by: Kwiatkowska, M, et al.
Published: (2019)

Compositional probabilistic verification through multi-objective model checking
by: Kwiatkowska, M, et al.
Published: (2013)

Verifying the Smart Contracts of the Port Supply Chain System Based on Probabilistic Model Checking
by: Yang Liu, et al.
Published: (2022-02-01)

Distributional probabilistic model checking
by: Elsayed-Aly, I, et al.
Published: (2024)

Probabilistic model checking for strategic equilibria-based decision making: advances and challenges
by: Kwiatkowska, M, et al.
Published: (2022)

Verified probabilistic policies for deep reinforcement learning
by: Bacci, E, et al.
Published: (2022)

Multi-agent verification and control with probabilistic model checking
by: Parker, D
Published: (2023)

Verifying linearizability via optimized refinement checking
by: Dong, Jin Song, et al.
Published: (2013)

Verifying Patterns of Dynamic Architectures using Model Checking
by: Diego Marmsoler, et al.
Published: (2017-03-01)

On-the-fly Probabilistic Model Checking
by: Diego Latella, et al.
Published: (2014-10-01)

JBMC: a bounded model checking tool for verifying Java bytecode
by: Cordeiro, L, et al.
Published: (2018)

Probabilistic model checking of cancer metabolism
by: Meir D. Friedenberg, et al.
Published: (2022-11-01)

Strategic Analysis of Trust Models for User-Centric Networks
by: Marta Kwiatkowska, et al.
Published: (2013-03-01)

MLVR: Regular Expression-Based Specification for Verified Model Checking of Hardware
by: Kammer, Gabriel A.
Published: (2024)

Probabilistic model checking of randomized Java code
by: Fatmi, SZ, et al.
Published: (2021)

Statistical Approaches for Probabilistic Model Checking
by: Nimal, V
Published: (2010)

Model Checking Probabilistic Pushdown Automata
by: Javier Esparza, et al.
Published: (2006-03-01)

Assessing Goodness of Fit for Verifying Probabilistic Forecasts
by: Tae-Ho Kang, et al.
Published: (2021-10-01)

Verifying Probabilistic Correctness in Isabelle with pGCL
by: David Cock
Published: (2012-11-01)

Measuring Progress of Probabilistic LTL Model Checking
by: Elise Cormie-Bowins, et al.
Published: (2012-07-01)

A formal algorithm for verifying the validity of clustering results based on model checking.
by: Shaobin Huang, et al.
Published: (2014-01-01)

Abstraction Refinement for Probabilistic Software
by: Kwiatkowska, G, et al.
Published: (2009)

Automatic Verification of Competitive Stochastic Systems
by: Chen, T, et al.
Published: (2011)

Automatic Verification of Competitive Stochastic Systems.
by: Chen, T, et al.
Published: (2012)

Automatic Verification of Competitive Stochastic Systems
by: Chen, T, et al.
Published: (2012)

ESBMC-GPU A context-bounded model checking tool to verify CUDA programs
by: Monteiro, F, et al.
Published: (2017)

Branching-Time Model-Checking of Probabilistic Pushdown Automata.
by: Brázdil, T, et al.
Published: (2009)

Model Checking Temporal Properties of Recursive Probabilistic Programs
by: Tobias Winkler, et al.
Published: (2023-12-01)

Probabilistic Bisimulations for PCTL Model Checking of Interval MDPs
by: Vahid Hashemi, et al.
Published: (2014-03-01)

Probabilistic mobile ambients
by: Kwiatkowska, M, et al.
Published: (2009)

Developing and verifying protocols in CSP
by: Roscoe, A
Published: (1993)

Towards Verifying Safety Properties of Real-Time Probabilistic Systems
by: Fenglin Han, et al.
Published: (2014-04-01)

Incremental and Verified Modelling of the PCI Express Protocol
by: Böhm, P
Published: (2010)

Modeling and Verifying the CKB Blockchain Consensus Protocol
by: Meng Sun, et al.
Published: (2021-11-01)

Automated Learning of Probabilistic Assumptions for Compositional Reasoning
by: Feng, L, et al.
Published: (2011)

Compositional Verification of Probabilistic Systems using Learning
by: Feng, L, et al.
Published: (2010)

Model Checking Probabilistic Timed Automata with One or Two Clocks
by: Marcin Jurdzinski, et al.
Published: (2008-09-01)

Probabilistic and Hybrid Model Checking Deployments for Wireless Sensor Networks
by: Mohsin Memon, et al.
Published: (2012-01-01)