Gethin Norman

Available identifiers

zbMath Open norman.gethinWikidataQ59400903 ScholiaQ59400903MaRDI QIDQ278755

List of research outcomes

Publication	Date of Publication	Type
Strategy synthesis for zero-sum neuro-symbolic concurrent stochastic games	2024-10-08	Paper
Probabilistic model checking for strategic equilibria-based decision making: advances and challenges (invited talk)	2024-08-06	Paper
Verification and Control of Turn-Based Probabilistic Real-Time Games	2024-03-14	Paper
Equilibria-based probabilistic model checking for concurrent stochastic games	2024-03-14	Paper
Correlated equilibria and fairness in concurrent stochastic games	2024-02-01	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
Compositional probabilistic verification through multi-objective model checking	2013-12-13	Paper
Analysis of stochastic matching markets	2013-11-11	Paper
A symbolic out-of-core solution method for Markov models	2013-08-16	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/Q4813204	2004-08-13	Paper
https://portal.mardi4nfdi.de/entity/Q4813203	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

This page was built for person: Gethin Norman