Skip to main navigation
Skip to search
Skip to main content
University of Birmingham Home
Help & FAQ
Home
Research output
Profiles
Research units
Projects
Activities
Datasets
Equipment
Prizes
Press/Media
Search by expertise, name or affiliation
Automated Game-Theoretic Verification of Security Systems
Parker, Dave
(Principal Investigator)
Computer Science
Overview
Fingerprint
Research output
(5)
Research output
Research output per year
2014
2014
2015
2017
2017
2
Article
1
Conference contribution
1
Other chapter contribution
1
Chapter (peer-reviewed)
Research output per year
Research output per year
2 results
Title
(ascending)
Publication Year, Title
Title
(descending)
Type
Filter
Article
Search results
Permissive Controller Synthesis for Probabilistic Systems
Drager, K.
,
Forejt, V.
,
Kwiatkowska, M.
,
Parker, D.
&
Ujma, M.
,
30 Jun 2015
,
In:
Logical Methods in Computer Science.
11
,
12
, 16.
Research output
:
Contribution to journal
›
Article
›
peer-review
Open Access
File
Controller
100%
Synthesis
94%
Controllers
56%
Strategy
42%
Penalty
28%
8
Citations (Scopus)
135
Downloads (Pure)
Verification and control of partially observable probabilistic systems
Norman, G.
,
Parker, D.
&
Zou, X.
,
May 2017
,
In:
Real-Time Systems.
53
,
3
,
p. 354–402
49 p.
Research output
:
Contribution to journal
›
Article
›
peer-review
Open Access
File
Model
100%
Controller
96%
Computer Security
85%
Partially Observable Markov Decision Process
83%
Probabilistic Logic
74%
23
Citations (Scopus)
155
Downloads (Pure)