Probabilistic model checking multi-agent behaviors in dispersion games using counter abstraction

Probabilistic model checking multi-agent behaviors in dispersion games using counter abstraction

10.1007/978-3-642-32729-2-2

Saved in:

書目詳細資料
Main Authors:	Hao, J., Song, S., Liu, Y., Sun, J., Gui, L., Dong, J.S., Leung, H.-F.
其他作者:	TEMASEK LABORATORIES
格式:	Conference or Workshop Item
出版:	2014
在線閱讀:	http://scholarbank.nus.edu.sg/handle/10635/78297
標簽:	添加標簽沒有標簽, 成為第一個標記此記錄!

相似書籍

Probabilistic model checking multi-agent behaviors in dispersion games using counter abstraction
由: HAO, Jianye, et al.
出版: (2012)

Fair model checking with process counter abstraction
由: Sun, J., et al.
出版: (2013)

Analyzing multi-agent systems with probabilistic model checking approach
由: Song, S., et al.
出版: (2013)

Fair model checking with process counter abstraction
由: SUN, Jun, et al.
出版: (2009)

Analyzing multi-agent systems with probabilistic model checking approach
由: SONG, Songzheng, et al.
出版: (2012)

PRTS: An approach for model checking probabilistic real-time hierarchical systems
由: Sun, J., et al.
出版: (2013)

Model checking hierarchical probabilistic systems
由: SUN, Jun, et al.
出版: (2010)

GAME THEORY SECURE PROBABILISTIC PROTOCOLS: A MODEL CHECKING APPROACH
由: MAHAMARAKKALAGE DILEEPA YASAS FERNANDO
出版: (2020)

Towards interpreting recurrent neural networks through probabilistic abstraction
由: DONG, Guoliang, et al.
出版: (2020)

PRTS: An approach for model checking probabilistic real-time hierarchical systems
由: SUN, Jun, et al.
出版: (2011)

Verification, Model Checking, and Abstract Interpretation
出版: (2017)

Verification, Model Checking, and Abstract Interpretation
由: David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Neil D. Jones, Markus Müller-Olm.
出版: (2017)

Verification, Model Checking, and Abstract Interpretation
由: David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg
出版: (2017)

Queue Management at Airport Check-in Counter
由: MOOSA, Sharafali, et al.
出版: (2002)

Model checking live sequence charts
由: Sun, J., et al.
出版: (2013)

Scalable multi-core model checking fairness enhanced systems
由: Liu, Y., et al.
出版: (2013)

APPLICATIONS OF PERTURBATION ANALYSIS IN PROBABILISTIC MODEL CHECKING
由: YAMILET ROSARIO SERRANO LLERENA
出版: (2018)

QUANTITATIVE MODEL CHECKING OF DISTRIBUTED PROBABILISTIC SYSTEMS
由: RATUL SAHA
出版: (2017)

Towards Model-checking Probabilistic Timed Automata against Probabilistic Duration Properties
由: Dang, Van Hung, et al.
出版: (2017)

Bounded model checking of compositional processes
由: Sun, J., et al.
出版: (2013)

Compositional encoding for bounded model checking
由: Sun, J., et al.
出版: (2013)

Planning as model checking tasks
由: Li, Y., et al.
出版: (2014)

Model checking software architecture design
由: Zhang, J., et al.
出版: (2013)

A model checker for hierarchical probabilistic real-time systems
由: Song, S., et al.
出版: (2013)

Learning probabilistic models for model checking: an evolutionary approach and an empirical study
由: WANG, Jingyi, et al.
出版: (2018)

Model checking approach to automated planning
由: Li, Y., et al.
出版: (2014)

More anti-chain based refinement checking
由: Wang, T., et al.
出版: (2013)

Combining model checking and testing with an application to reliability prediction and distribution
由: Gui, L., et al.
出版: (2014)

Probabilistic ants (PAnts) in multi-agent patrolling
由: Fu, J.G.M., et al.
出版: (2014)

Checking and reasoning about Semantic Web through alloy
由: Dong, J.S., et al.
出版: (2013)

Anti-chain based algorithms for timed/probabilistic refinement checking
由: Wang, Ting, et al.
出版: (2020)

Reliability assessment for distributed systems via communication abstraction and refinement
由: GUI, Lin, et al.
出版: (2015)

Model checking CSP revisited: Introducing a process analysis toolkit
由: Sun, J., et al.
出版: (2013)

Empirical data based analysis of airport check-in counter allocation problem
由: Parlar, Mahmut, et al.
出版: (2011)

Managing Exclusive Use Airport Check-in Counter System with Parallel Queues
由: MOOSA, Sharafali, et al.
出版: (2009)

Dynamic Allocation of Airline Check-in Counters: A Queueing Optimisation Approach
由: PARLAR, Mahmut, et al.
出版: (2008)

SPORTS STRATEGY ANALYTICS USING PROBABILISTIC MODEL CHECKING AND MACHINE LEARNING
由: JIANG KAN
出版: (2023)

A symbolic model checking framework for hierarchical systems
由: Nguyen, T.K., et al.
出版: (2013)

Verifying stateful timed CSP using implicit clocks and zone abstraction
由: Sun, J., et al.
出版: (2013)

Should we learn probabilistic models for model checking? A new approach and an empirical study
由: WANG, Jingyi, et al.
出版: (2017)