David J. Parker

Available identifiers

zbMath Open parker.david-jWikidataQ60547796 ScholiaQ60547796MaRDI QIDQ4139715

List of research outcomes

Publication	Date of Publication	Type
Multi-agent verification and control with probabilistic model checking	2024-05-29	Paper
Finite-horizon bisimulation minimisation for probabilistic systems	2016-06-22	Paper
Automatic verification of competitive stochastic systems	2012-06-29	Paper
Observation of PT phase transition in a simple mechanical system	2012-06-21	Paper
A configurational theory of visual perception	1975-01-01	Paper
On nonlinear filters involving transformation of the time variable	1973-01-01	Paper
End Points, Complexity, and Visual Illusions	1972-01-01	Paper

Research outcomes over time

This page was built for person: David J. Parker