Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
Norman, Gethin
104  Ergebnisse:
Personensuche X
?
1

Symbolic Verification and Strategy Synthesis for Turn-Based..:

, In: Lecture Notes in Computer Science; Principles of Systems Design,
Kwiatkowska, Marta ; Norman, Gethin ; Parker, David. - p. 388-406 , 2022
Link: https://doi.org/10.1007/..
 
?
2

Correlated Equilibria and Fairness in Concurrent Stochastic..:

, In: Tools and Algorithms for the Construction and Analysis of Systems; Lecture Notes in Computer Science,
Kwiatkowska, Marta ; Norman, Gethin ; Parker, David. - p. 60-78 , 2022
Link: https://doi.org/10.1007/..
 
?
3

Automatic verification of concurrent stochastic systems:

Kwiatkowska, Marta ; Norman, Gethin ; Parker, David.
Formal Methods in System Design.  58 (2021)  1-2 - p. 188-250 , 2021
Link: https://doi.org/10.1007/..
 
?
4

Multi-player Equilibria Verification for Concurrent Stochas..:

, In: Quantitative Evaluation of Systems; Lecture Notes in Computer Science,
Kwiatkowska, Marta ; Norman, Gethin ; Parker, David. - p. 74-95 , 2020
Link: https://doi.org/10.1007/..
 
?
5

PRISM-games 3.0: Stochastic Game Verification with Concurre..:

, In: Computer Aided Verification; Lecture Notes in Computer Science,
Kwiatkowska, Marta ; Norman, Gethin ; Parker, David. - p. 475-487 , 2020
Link: https://doi.org/10.1007/..
 
?
6

Collaborative models for autonomous systems controller synt..:

Fraser, Douglas ; Giaquinta, Ruben ; Hoffmann, Ruth...
Formal Aspects of Computing.  32 (2020)  2-3 - p. 157-186 , 2020
Link: https://doi.org/10.1007/..
 
?
7

Equilibria-Based Probabilistic Model Checking for Concurren..:

, In: Lecture Notes in Computer Science; Formal Methods – The Next 30 Years,
Kwiatkowska, Marta ; Norman, Gethin ; Parker, David. - p. 298-315 , 2019
Link: https://doi.org/10.1007/..
 
?
8

Verification and Control of Turn-Based Probabilistic Real-T..:

, In: The Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy; Lecture Notes in Computer Science,
Kwiatkowska, Marta ; Norman, Gethin ; Parker, David - p. 379-396 , 2019
Link: https://doi.org/10.1007/..
 
?
9

Automated Verification of Concurrent Stochastic Games:

, In: Quantitative Evaluation of Systems; Lecture Notes in Computer Science,
Kwiatkowska, Marta ; Norman, Gethin ; Parker, David. - p. 223-239 , 2018
Link: https://doi.org/10.1007/..
 
?
10

Verification and control of partially observable probabilis..:

Norman, Gethin ; Parker, David ; Zou, Xueyi
Real-Time Systems.  53 (2017)  3 - p. 354-402 , 2017
Link: https://doi.org/10.1007/..
 
?
11

Enhancing theoretical understanding of a practical biology ..:

Scott, Pamela H. ; Veitch, Nicola J. ; Gadegaard, Helen...
Journal of Biological Education.  52 (2017)  2 - p. 184-195 , 2017
Link: https://doi.org/10.1080/..
 
?
12

Symbolic optimal expected time reachability computation and..:

Jovanović, Aleksandra ; Kwiatkowska, Marta ; Norman, Gethin.
Theoretical Computer Science.  669 (2017)  - p. 1-21 , 2017
Link: https://doi.org/10.1016/..
 
?
13

Expected reachability-time games:

Forejt, Vojtěch ; Kwiatkowska, Marta ; Norman, Gethin.
Theoretical Computer Science.  631 (2016)  - p. 139-160 , 2016
Link: https://doi.org/10.1016/..
 
?
14

Quantitative Evaluation of Systems 

11th International Conference, QEST 2014, Florence, Italy, ...  Lecture Notes in Computer Science ; 8657;SpringerLink, Bücher
Norman, Gethin ; Sanders, William , 2014
Link: https://doi.org/10.1007/..
 
?
15

Quantitative Aspects of Programming Languages and Systems (..:

Massink, Mieke ; Norman, Gethin ; Wiklicky, Herbert
Theoretical Computer Science.  538 (2014)  - p. 1 , 2014
Link: https://doi.org/10.1016/..
 
1-15