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

Mô tả đầy đủ

Chi tiết về thư mục
Tác giả chính:	McIver, A
Định dạng:	Journal article
Ngôn ngữ:	English
Được phát hành:	1999
Những chủ đề:	Computing

Những quyển sách tương tự

Reasoning about efficiency within a probabilistic μ-calculus
Bằng: McIver, A
Được phát hành: (1999)

Quantitative program logic and expected time bounds in probabilistic distributed algorithms
Bằng: McIver, A
Được phát hành: (2002)

Termination and semantics of probabilistic lambda calculus
Bằng: Kenyon-Roberts, A
Được phát hành: (2024)

Partial correctness for probabilistic demonic programs
Bằng: McIver, A, et al.
Được phát hành: (2001)

Probabilistic Concurrent Kleene Algebra
Bằng: Annabelle McIver, et al.
Được phát hành: (2013-06-01)

Probabilistic guarded commands mechanized in HOL
Bằng: Hurd, J, et al.
Được phát hành: (2005)

Model exploration and analysis for quantitative safety refinement in probabilistic B
Bằng: Annabelle McIver, et al.
Được phát hành: (2011-06-01)

Probabilistic modal {\mu}-calculus with independent product
Bằng: Matteo Mio
Được phát hành: (2012-11-01)

An expectation transformer approach to predicate abstraction and data independence for probabilistic programs
Bằng: Ukachukwu Ndukwu, et al.
Được phát hành: (2010-06-01)

How to think about how to think about aesthetic value
Bằng: Dominic McIver Lopes
Được phát hành: (2022-12-01)

On the equivalence of game and denotational semantics for the probabilistic mu-calculus
Bằng: Matteo Mio
Được phát hành: (2012-06-01)

Almost-certain eventualities and abstract probabilities in quantitative temporal logic
Bằng: McIver, A, et al.
Được phát hành: (2001)

The Guarded Lambda-Calculus: Programming and Reasoning with Guarded Recursion for Coinductive Types
Bằng: Ranald Clouston, et al.
Được phát hành: (2017-04-01)

Understanding operating systems /
Bằng: McHoes, Ann McIver, author, et al.
Được phát hành: (2014)

Compositional bisimulation metric reasoning with Probabilistic Process Calculi
Bằng: Daniel Gebler, et al.
Được phát hành: (2017-04-01)

Using Session Types for Reasoning About Boundedness in the Pi-Calculus
Bằng: Hans Hüttel
Được phát hành: (2017-08-01)

Probabilistic Interval Temporal Logic and Duration Calculus with Infinite Intervals: Complete Proof Systems
Bằng: Dimitar P. Guelev
Được phát hành: (2007-07-01)

Abstract Hidden Markov Models: a monadic account of quantitative information flow
Bằng: Annabelle McIver, et al.
Được phát hành: (2019-03-01)

Qualitative and Probabilistic Uncertainty in Reasoning about Actions with Sensing
Bằng: Iocchi, L, et al.
Được phát hành: (2004)

Probabilistic Reasoning about Actions in Nonmonotonic Causal Theories
Bằng: Eiter, T, et al.
Được phát hành: (2003)

Approximate reasoning for real-time probabilistic processes
Bằng: Vineet Gupta, et al.
Được phát hành: (2006-03-01)

Efficient Evaluation of Arbitrary Relational Calculus Queries
Bằng: Martin Raszyk, et al.
Được phát hành: (2023-12-01)

Reasoning about Actions with Sensing under Qualitative and Probabilistic Uncertainty
Bằng: Iocchi, L, et al.
Được phát hành: (2009)

Reasoning about Actions with Sensing under Qualitative and Probabilistic Uncertainty
Bằng: Iocchi, L, et al.
Được phát hành: (2009)

Reasoning about Actions with Sensing under Qualitative and Probabilistic Uncertainty
Bằng: Iocchi, L, et al.
Được phát hành: (2004)

Supermartingales, ranking functions and probabilistic lambda calculus
Bằng: Ong, C-H, et al.
Được phát hành: (2021)

Trump : think like a billionaire : everything you need to know about success, real estate, and life /
Bằng: Trump, Donald, 1946-, et al.
Được phát hành: (2004)

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

Understanding operating systems /
Bằng: 378446 Flynn, Ida M., et al.
Được phát hành: (1997)

Understanding operating systems /
Bằng: 378446 Flynn, Ida M., et al.
Được phát hành: (2006)

Multi-level probabilistic uniqueness reasoning of autonomous robots based on spatial-semantic fusion
Bằng: Yang, Chule
Được phát hành: (2019)

Grid-free computation of probabilistic safety with Malliavin calculus
Bằng: Cosentino, F, et al.
Được phát hành: (2023)

Grid-free computation of probabilistic safety with Malliavin Calculus
Bằng: Cosentino, F, et al.
Được phát hành: (2021)

A Calculus Supporting Contract Reasoning and Monitoring
Bằng: Maria Emilia Cambronero, et al.
Được phát hành: (2017-01-01)

Understanding operating systems /
Bằng: 378446 Flynn, Ida M., et al.
Được phát hành: (c201)

Understanding operating systems /
Bằng: 378446 Flynn, Ida M., et al.
Được phát hành: (2008)

Reasoning about Strategies: on the Satisfiability Problem
Bằng: Fabio Mogavero, et al.
Được phát hành: (2017-03-01)

Automated reasoning about classical mechanics
Bằng: Wong, Leon Chih Wen
Được phát hành: (2007)

Reasoning about effects: from lists to cyber-physical agents
Bằng: Ian A. Mason, et al.
Được phát hành: (2019-04-01)

What is calculus about? /
Bằng: 344236 Sawyer, Walter Warwick
Được phát hành: (1961)