David A. Rosenblueth

Available identifiers

zbMath Open rosenblueth.david-aMaRDI QIDQ406209

List of research outcomes

Publication	Date of Publication	Type
Comparing the Update Expressivity of Communication Patterns and Action Models	2024-02-28	Paper
Communication pattern logic: epistemic and topological views	2023-10-24	Paper
Decentralized Asynchronous Crash-resilient Runtime Verification	2023-04-27	Paper
Influence systems vs reaction systems	2018-03-22	Paper
https://portal.mardi4nfdi.de/entity/Q4608668	2018-03-21	Paper
Marimba: A Tool for Verifying Properties of Hidden Markov Models	2016-01-08	Paper
https://portal.mardi4nfdi.de/entity/Q3448083	2015-10-28	Paper
A symbolic shortest path algorithm for computing subgame-perfect Nash equilibria	2015-10-16	Paper
Life as thermodynamic evidence of algorithmic structure in natural environments	2014-09-08	Paper
CTL update of Kripke models through protections	2014-06-10	Paper
Nondeterministic Update of CTL Models by Preserving Satisfaction through Protections	2011-10-07	Paper
A Characterization of Mixed-Strategy Nash Equilibria in PCTL Augmented with a Cost Quantifier	2010-11-09	Paper
https://portal.mardi4nfdi.de/entity/Q3636015	2009-06-30	Paper
https://portal.mardi4nfdi.de/entity/Q5472915	2006-06-19	Paper
https://portal.mardi4nfdi.de/entity/Q4457544	2004-03-25	Paper
Chain programs for writing deterministic metainterpreters	2004-03-01	Paper
SLR inference: An inference system for fixed-mode logic programs, based on SLR parsing	1998-11-24	Paper
Definite-clause grammars for 2D shape analysis	1996-03-05	Paper
An execution mechanism for nondeterministic, state-oriented programs based on a chart parser	1993-05-16	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: David A. Rosenblueth