Reasoning about efficiency within a probabilistic calculus

Reasoning about efficiency within a probabilistic calculus

<p>Expectation-based probabilistic predicate transformers [15] provide a logic for probabilistic sequential programs, giving access to expressions such as &apos;the probability that predicate <em>A</em> is achieved finally&apos;. Using expectations more generally ho...

Cur síos iomlán

Sonraí bibleagrafaíochta
Príomhchruthaitheoir:	McIver, A
Formáid:	Journal article
Teanga:	English
Foilsithe / Cruthaithe:	1999
Ábhair:	Computing

Míreanna comhchosúla

Reasoning about efficiency within a probabilistic μ-calculus
de réir: McIver, A
Foilsithe / Cruthaithe: (1999)

Quantitative program logic and expected time bounds in probabilistic distributed algorithms
de réir: McIver, A
Foilsithe / Cruthaithe: (2002)

Termination and semantics of probabilistic lambda calculus
de réir: Kenyon-Roberts, A
Foilsithe / Cruthaithe: (2024)

Partial correctness for probabilistic demonic programs
de réir: McIver, A, et al.
Foilsithe / Cruthaithe: (2001)

Probabilistic Concurrent Kleene Algebra
de réir: Annabelle McIver, et al.
Foilsithe / Cruthaithe: (2013-06-01)

Probabilistic guarded commands mechanized in HOL
de réir: Hurd, J, et al.
Foilsithe / Cruthaithe: (2005)

Model exploration and analysis for quantitative safety refinement in probabilistic B
de réir: Annabelle McIver, et al.
Foilsithe / Cruthaithe: (2011-06-01)

Probabilistic modal {\mu}-calculus with independent product
de réir: Matteo Mio
Foilsithe / Cruthaithe: (2012-11-01)

An expectation transformer approach to predicate abstraction and data independence for probabilistic programs
de réir: Ukachukwu Ndukwu, et al.
Foilsithe / Cruthaithe: (2010-06-01)

How to think about how to think about aesthetic value
de réir: Dominic McIver Lopes
Foilsithe / Cruthaithe: (2022-12-01)

On the equivalence of game and denotational semantics for the probabilistic mu-calculus
de réir: Matteo Mio
Foilsithe / Cruthaithe: (2012-06-01)

Almost-certain eventualities and abstract probabilities in quantitative temporal logic
de réir: McIver, A, et al.
Foilsithe / Cruthaithe: (2001)

The Guarded Lambda-Calculus: Programming and Reasoning with Guarded Recursion for Coinductive Types
de réir: Ranald Clouston, et al.
Foilsithe / Cruthaithe: (2017-04-01)

Understanding operating systems /
de réir: McHoes, Ann McIver, author, et al.
Foilsithe / Cruthaithe: (2014)

Compositional bisimulation metric reasoning with Probabilistic Process Calculi
de réir: Daniel Gebler, et al.
Foilsithe / Cruthaithe: (2017-04-01)

Using Session Types for Reasoning About Boundedness in the Pi-Calculus
de réir: Hans Hüttel
Foilsithe / Cruthaithe: (2017-08-01)

Probabilistic Interval Temporal Logic and Duration Calculus with Infinite Intervals: Complete Proof Systems
de réir: Dimitar P. Guelev
Foilsithe / Cruthaithe: (2007-07-01)

Abstract Hidden Markov Models: a monadic account of quantitative information flow
de réir: Annabelle McIver, et al.
Foilsithe / Cruthaithe: (2019-03-01)

Qualitative and Probabilistic Uncertainty in Reasoning about Actions with Sensing
de réir: Iocchi, L, et al.
Foilsithe / Cruthaithe: (2004)

Probabilistic Reasoning about Actions in Nonmonotonic Causal Theories
de réir: Eiter, T, et al.
Foilsithe / Cruthaithe: (2003)

Approximate reasoning for real-time probabilistic processes
de réir: Vineet Gupta, et al.
Foilsithe / Cruthaithe: (2006-03-01)

Efficient Evaluation of Arbitrary Relational Calculus Queries
de réir: Martin Raszyk, et al.
Foilsithe / Cruthaithe: (2023-12-01)

Reasoning about Actions with Sensing under Qualitative and Probabilistic Uncertainty
de réir: Iocchi, L, et al.
Foilsithe / Cruthaithe: (2009)

Reasoning about Actions with Sensing under Qualitative and Probabilistic Uncertainty
de réir: Iocchi, L, et al.
Foilsithe / Cruthaithe: (2009)

Reasoning about Actions with Sensing under Qualitative and Probabilistic Uncertainty
de réir: Iocchi, L, et al.
Foilsithe / Cruthaithe: (2004)

Supermartingales, ranking functions and probabilistic lambda calculus
de réir: Ong, C-H, et al.
Foilsithe / Cruthaithe: (2021)

Trump : think like a billionaire : everything you need to know about success, real estate, and life /
de réir: Trump, Donald, 1946-, et al.
Foilsithe / Cruthaithe: (2004)

Second-order wave diffraction by a submerged circular cylinder /
de réir: 234061 McIver, M., et al.

Understanding operating systems /
de réir: 378446 Flynn, Ida M., et al.
Foilsithe / Cruthaithe: (1997)

Understanding operating systems /
de réir: 378446 Flynn, Ida M., et al.
Foilsithe / Cruthaithe: (2006)

Multi-level probabilistic uniqueness reasoning of autonomous robots based on spatial-semantic fusion
de réir: Yang, Chule
Foilsithe / Cruthaithe: (2019)

Grid-free computation of probabilistic safety with Malliavin calculus
de réir: Cosentino, F, et al.
Foilsithe / Cruthaithe: (2023)

Grid-free computation of probabilistic safety with Malliavin Calculus
de réir: Cosentino, F, et al.
Foilsithe / Cruthaithe: (2021)

A Calculus Supporting Contract Reasoning and Monitoring
de réir: Maria Emilia Cambronero, et al.
Foilsithe / Cruthaithe: (2017-01-01)

Understanding operating systems /
de réir: 378446 Flynn, Ida M., et al.
Foilsithe / Cruthaithe: (c201)

Understanding operating systems /
de réir: 378446 Flynn, Ida M., et al.
Foilsithe / Cruthaithe: (2008)

Reasoning about Strategies: on the Satisfiability Problem
de réir: Fabio Mogavero, et al.
Foilsithe / Cruthaithe: (2017-03-01)

Automated reasoning about classical mechanics
de réir: Wong, Leon Chih Wen
Foilsithe / Cruthaithe: (2007)

Reasoning about effects: from lists to cyber-physical agents
de réir: Ian A. Mason, et al.
Foilsithe / Cruthaithe: (2019-04-01)

What is calculus about? /
de réir: 344236 Sawyer, Walter Warwick
Foilsithe / Cruthaithe: (1961)