Showing 1 - 20 results of 177 for search 'Parker, D', query time: 0.16s
Refine Results
-
1
Multi-agent verification and control with probabilistic model checking by Parker, D
Published 2023Conference item -
2
-
3
Quantitative verification of Kalman filters by Evangelidis, A, Parker, D
Published 2021Journal article -
4
-
5
Tools and algorithms for the construction and analysis of systems: a special issue for TACAS 2020 by Biere, A, Parker, D
Published 2022Journal article -
6
Abstraction Refinement for Probabilistic Software by Kwiatkowska, G, Parker, D
Published 2009Conference item -
7
Verified probabilistic policies for deep reinforcement learning by Bacci, E, Parker, D
Published 2022Conference item -
8
-
9
Parallel processing in aqueous solution by Faulkner, S, Parker, D, Williams, J
Published 1999Conference item -
10
Safe POMDP online planning via shielding by Sheng, S, Parker, D, Feng, L
Published 2024Conference item -
11
SAHEL RAINFALL AND WORLDWIDE SEA TEMPERATURES, 1901-85 by Folland, C, Palmer, T, Parker, D
Published 1986Journal article -
12
Fault diagnosis in labelled Petri nets: A Fourier-Motzkin based approach by Al-Ajeli, A, Parker, D
Published 2021Journal article -
13
-
14
Verification and control of turn-based probabilistic real-time games by Kwiatkowska, M, Norman, G, Parker, D
Published 2019Conference item -
15
Symbolic verification and strategy synthesis for linearly-priced probabilistic timed automata by Kwiatkowska, M, Norman, G, Parker, D
Published 2017Conference item -
16
PRISM 4.0: Verification of probabilistic real-time systems by Kwiatkowska, M, Norman, G, Parker, D
Published 2011Journal article -
17
-
18
Using Reed-Muller codes for classification with rejection and recovery by Fentham, D, Parker, D, Ryan, M
Published 2024Conference item -
19
Automated Learning of Probabilistic Assumptions for Compositional Reasoning by Feng, L, Kwiatkowska, M, Parker, D
Published 2011Conference item -
20
Multi-objective policy generation for mobile robots under probabilistic time-bounded guarantees by Lacerda, B, Parker, D, Hawes, N
Published 2017Conference item