David Parker

Professor

University of Oxford

United Kingdom

Research Interests

Explore related searches

Professors in United Kingdom

Contact this professor

Get a free first email built on one of their papers, ready for you to edit and send yourself.

Articles (10)

Year:

2022

Year:

2021

Year:

2021

Year:

2021

Year:

2021

Year:

2021

Year:

2021

Year:

2020

Year:

2020

Year:

2020

Collaborators (5)

Marta Kwiatkowska

University of Oxford

UNITED KINGDOM

View details

Gethin Norman

Lecturer

University of Glasgow

UNITED KINGDOM

View details

Ziran Wang

Assistant Professor

Purdue University

UNITED STATES

View details

Alexandros Evangelidis

Technical University of Munich

GERMANY

View details

Lu Feng

University of Virginia

UNITED STATES

View details

ApplyKite TwinLearns as you apply

Make your next move.

Prepare your application

Review drafts before you send them.

David Parker

Research Interests

Explore related searches

Contact this professor

Articles (10)

Planning for Automated Vehicles with Human Trust

Automatic verification of concurrent stochastic systems

Automatic verification of concurrent stochastic systems

Quantitative verification of Kalman filters

Quantitative verification of Kalman filters

Fault diagnosis in labelled Petri nets: A Fourier-Motzkin based approach

Introduction to the Special Issue on QEST 2019

ATEN: And/Or tree ensemble for inferring accurate Boolean network topology and dynamics

Multi-player Equilibria Verification for Concurrent Stochastic Games

PRISM-games 3.0: Stochastic Game Verification with Concurrency, Equilibria and Time

Collaborators (5)

Marta Kwiatkowska

Gethin Norman

Ziran Wang

Alexandros Evangelidis

Lu Feng

Make your next move.