Gethin Norman

Available identifiers

zbMath Open norman.gethinWikidataQ59400903 ScholiaQ59400903MaRDI QIDQ278755

List of research outcomes

Publication	Date of Publication	Type
Verification and Control of Turn-Based Probabilistic Real-Time Games	2024-03-14	Paper
Collaborative models for autonomous systems controller synthesis	2020-09-09	Paper
Symbolic optimal expected time reachability computation and controller synthesis for probabilistic timed automata	2017-03-16	Paper
Expected reachability-time games	2016-05-02	Paper
Symbolic Minimum Expected Time Controller Synthesis for Probabilistic Timed Automata	2015-09-14	Paper
Analysis of stochastic matching markets	2013-11-11	Paper
Expected Reachability-Time Games	2010-09-10	Paper
Concavely-Priced Probabilistic Timed Automata	2009-10-22	Paper
Validation of Stochastic Systems	2009-07-24	Paper
Symbolic model checking for probabilistic timed automata	2007-07-16	Paper
Foundations of Software Science and Computational Structures	2005-11-10	Paper
Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems	2005-08-19	Paper
https://portal.mardi4nfdi.de/entity/Q4813203	2004-08-13	Paper
https://portal.mardi4nfdi.de/entity/Q4813204	2004-08-13	Paper
https://portal.mardi4nfdi.de/entity/Q4422079	2003-09-03	Paper
Probabilistic model checking of deadline properties in the IEEE 1394 fireWire root contention protocol	2003-08-27	Paper
https://portal.mardi4nfdi.de/entity/Q4791267	2003-02-06	Paper
https://portal.mardi4nfdi.de/entity/Q4536598	2002-11-28	Paper
https://portal.mardi4nfdi.de/entity/Q4551150	2002-09-04	Paper
Automatic verification of real-time systems with discrete probability distributions.	2002-07-15	Paper
https://portal.mardi4nfdi.de/entity/Q4255552	1999-08-17	Paper
https://portal.mardi4nfdi.de/entity/Q4222974	1999-01-06	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Gethin Norman