GAME THEORY SECURE PROBABILISTIC PROTOCOLS: A MODEL CHECKING APPROACH
Ph.D
Saved in:
Main Author: | MAHAMARAKKALAGE DILEEPA YASAS FERNANDO |
---|---|
Other Authors: | COMPUTER SCIENCE |
Format: | Theses and Dissertations |
Language: | English |
Published: |
2020
|
Subjects: | |
Online Access: | https://scholarbank.nus.edu.sg/handle/10635/167552 |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Institution: | National University of Singapore |
Language: | English |
Similar Items
-
A GAME - THEORETIC ANALYSIS OF THE PIRATE GAME
by: CHI CHANGYE
Published: (2019) -
Analyzing multi-agent systems with probabilistic model checking approach
by: Song, S., et al.
Published: (2013) -
A class of differential games which admits a feedback solution with linear value functions
by: Yeung, D.W.K.
Published: (2011) -
Analyzing multi-agent systems with probabilistic model checking approach
by: SONG, Songzheng, et al.
Published: (2012) -
Evolving Nash-optimal poker strategies using evolutionary computation
by: Quek, H., et al.
Published: (2014)