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...

Fuld beskrivelse

Bibliografiske detaljer
Hovedforfatter:	McIver, A
Format:	Journal article
Sprog:	English
Udgivet:	1999
Fag:	Computing

Lignende værker

Reasoning about efficiency within a probabilistic μ-calculus
af: McIver, A
Udgivet: (1999)

Quantitative program logic and expected time bounds in probabilistic distributed algorithms
af: McIver, A
Udgivet: (2002)

Termination and semantics of probabilistic lambda calculus
af: Kenyon-Roberts, A
Udgivet: (2024)

Partial correctness for probabilistic demonic programs
af: McIver, A, et al.
Udgivet: (2001)

Probabilistic Concurrent Kleene Algebra
af: Annabelle McIver, et al.
Udgivet: (2013-06-01)

Probabilistic guarded commands mechanized in HOL
af: Hurd, J, et al.
Udgivet: (2005)

Model exploration and analysis for quantitative safety refinement in probabilistic B
af: Annabelle McIver, et al.
Udgivet: (2011-06-01)

Probabilistic modal {\mu}-calculus with independent product
af: Matteo Mio
Udgivet: (2012-11-01)

An expectation transformer approach to predicate abstraction and data independence for probabilistic programs
af: Ukachukwu Ndukwu, et al.
Udgivet: (2010-06-01)

How to think about how to think about aesthetic value
af: Dominic McIver Lopes
Udgivet: (2022-12-01)

On the equivalence of game and denotational semantics for the probabilistic mu-calculus
af: Matteo Mio
Udgivet: (2012-06-01)

Almost-certain eventualities and abstract probabilities in quantitative temporal logic
af: McIver, A, et al.
Udgivet: (2001)

The Guarded Lambda-Calculus: Programming and Reasoning with Guarded Recursion for Coinductive Types
af: Ranald Clouston, et al.
Udgivet: (2017-04-01)

Understanding operating systems /
af: McHoes, Ann McIver, author, et al.
Udgivet: (2014)

Compositional bisimulation metric reasoning with Probabilistic Process Calculi
af: Daniel Gebler, et al.
Udgivet: (2017-04-01)

Using Session Types for Reasoning About Boundedness in the Pi-Calculus
af: Hans Hüttel
Udgivet: (2017-08-01)

Probabilistic Interval Temporal Logic and Duration Calculus with Infinite Intervals: Complete Proof Systems
af: Dimitar P. Guelev
Udgivet: (2007-07-01)

Abstract Hidden Markov Models: a monadic account of quantitative information flow
af: Annabelle McIver, et al.
Udgivet: (2019-03-01)

Qualitative and Probabilistic Uncertainty in Reasoning about Actions with Sensing
af: Iocchi, L, et al.
Udgivet: (2004)

Probabilistic Reasoning about Actions in Nonmonotonic Causal Theories
af: Eiter, T, et al.
Udgivet: (2003)

Approximate reasoning for real-time probabilistic processes
af: Vineet Gupta, et al.
Udgivet: (2006-03-01)

Efficient Evaluation of Arbitrary Relational Calculus Queries
af: Martin Raszyk, et al.
Udgivet: (2023-12-01)

Reasoning about Actions with Sensing under Qualitative and Probabilistic Uncertainty
af: Iocchi, L, et al.
Udgivet: (2009)

Reasoning about Actions with Sensing under Qualitative and Probabilistic Uncertainty
af: Iocchi, L, et al.
Udgivet: (2009)

Reasoning about Actions with Sensing under Qualitative and Probabilistic Uncertainty
af: Iocchi, L, et al.
Udgivet: (2004)

Supermartingales, ranking functions and probabilistic lambda calculus
af: Ong, C-H, et al.
Udgivet: (2021)

Trump : think like a billionaire : everything you need to know about success, real estate, and life /
af: Trump, Donald, 1946-, et al.
Udgivet: (2004)

Second-order wave diffraction by a submerged circular cylinder /
af: 234061 McIver, M., et al.

Understanding operating systems /
af: 378446 Flynn, Ida M., et al.
Udgivet: (1997)

Understanding operating systems /
af: 378446 Flynn, Ida M., et al.
Udgivet: (2006)

Multi-level probabilistic uniqueness reasoning of autonomous robots based on spatial-semantic fusion
af: Yang, Chule
Udgivet: (2019)

Grid-free computation of probabilistic safety with Malliavin calculus
af: Cosentino, F, et al.
Udgivet: (2023)

Grid-free computation of probabilistic safety with Malliavin Calculus
af: Cosentino, F, et al.
Udgivet: (2021)

A Calculus Supporting Contract Reasoning and Monitoring
af: Maria Emilia Cambronero, et al.
Udgivet: (2017-01-01)

Understanding operating systems /
af: 378446 Flynn, Ida M., et al.
Udgivet: (c201)

Understanding operating systems /
af: 378446 Flynn, Ida M., et al.
Udgivet: (2008)

Reasoning about Strategies: on the Satisfiability Problem
af: Fabio Mogavero, et al.
Udgivet: (2017-03-01)

Automated reasoning about classical mechanics
af: Wong, Leon Chih Wen
Udgivet: (2007)

Reasoning about effects: from lists to cyber-physical agents
af: Ian A. Mason, et al.
Udgivet: (2019-04-01)

What is calculus about? /
af: 344236 Sawyer, Walter Warwick
Udgivet: (1961)