Automated Learning of Probabilistic Assumptions for Compositional Reasoning

Automated Learning of Probabilistic Assumptions for Compositional Reasoning

Bibliographic Details
Main Authors:	Feng, L, Kwiatkowska, M, Parker, D
Format:	Conference item
Published:	Springer 2011

Similar Items

On learning assumptions for compositional verification of probabilistic systems
by: Feng, L
Published: (2014)

Compositional Verification of Probabilistic Systems using Learning
by: Feng, L, et al.
Published: (2010)

Learning−based Compositional Verification for Synchronous Probabilistic Systems
by: Feng, L, et al.
Published: (2011)

Automated Verification Techniques for Probabilistic Systems.
by: Forejt, V, et al.
Published: (2011)

Query with Assumptions for Probabilistic Relational Databases
by: Caicai Zhang, et al.
Published: (2020-01-01)

Compositional probabilistic verification through multi-objective model checking
by: Kwiatkowska, M, et al.
Published: (2013)

Towards New Probabilistic Assumptions in Business Intelligence
by: Schumann Andrew, et al.
Published: (2015-01-01)

The sufficiency assumption of the reasoned approach to action
by: David Trafimow
Published: (2015-12-01)

Reasoning without Data, Default Assumptions
by: Michael Tillotson
Published: (2000-12-01)

Abstraction Refinement for Probabilistic Software
by: Kwiatkowska, G, et al.
Published: (2009)

Probabilistic model checking and autonomy
by: Kwiatkowska, M, et al.
Published: (2021)

Probabilistic mobile ambients
by: Kwiatkowska, M, et al.
Published: (2009)

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

Tractable probabilistic models for causal learning and reasoning
by: Wang, B
Published: (2023)

Compositional probabilistic and causal inference using tractable circuit models
by: Wang, B, et al.
Published: (2023)

PRISM 4.0: Verification of probabilistic real-time systems
by: Kwiatkowska, M, et al.
Published: (2011)

Verification and control of turn-based probabilistic real-time games
by: Kwiatkowska, M, et al.
Published: (2019)

Game−Based Probabilistic Predicate Abstraction in PRISM
by: Kattenbelt, M, et al.
Published: (2008)

Game−Based Probabilistic Predicate Abstraction in PRISM
by: Kattenbelt, M, et al.
Published: (2008)

Verifying Team Formation Protocols with Probabilistic Model Checking
by: Chen, T, et al.
Published: (2011)

Local abstraction refinement for probabilistic timed programs
by: Dräger, K, et al.
Published: (2013)

Symbolic Learning and Reasoning With Noisy Data for Probabilistic Anchoring
by: Pedro Zuidberg Dos Martires, et al.
Published: (2020-07-01)

Symbolic verification and strategy synthesis for linearly-priced probabilistic timed automata
by: Kwiatkowska, M, et al.
Published: (2017)

Significance testing as perverse probabilistic reasoning
by: Westover Kenneth D, et al.
Published: (2011-02-01)

Permissive controller synthesis for probabilistic systems
by: Dräger, K, et al.
Published: (2015)

Permissive controller synthesis for probabilistic systems
by: Dräger, K, et al.
Published: (2014)

Probabilistic Reasoning in the Domain of Genetic Counseling
by: Harris, Nomi L.
Published: (2023)

Probability and probabilistic reasoning for electrical engineering /
by: 402439 Fine, Terrence L.
Published: (2006)

Imaginative reasoning in probabilistic programs
by: Tavares, Zenna.
Published: (2021)

Probabilistic tsunami hazard assessment for the Makran region with focus on maximum magnitude assumption
by: A. Hoechner, et al.
Published: (2016-06-01)

Equilibria-based probabilistic model checking for concurrent stochastic games
by: Kwiatkowska, M, et al.
Published: (2019)

Quantitative Multi-objective Verification for Probabilistic Systems.
by: Forejt, V, et al.
Published: (2011)

Probabilistic model checking of complex biological pathways
by: Heath, J, et al.
Published: (2008)

Multimodal probabilistic reasoning for prediction and coordination problems in machine learning
by: Zand, J
Published: (2021)

Probabilistic logic reasoning for subjective interestingness analysis
by: José Carlos Ferreira da Rocha, et al.
Published: (2019-04-01)

Probabilistic Default Reasoning with Conditional Constraints
by: Lukasiewicz, T
Published: (2002)

Probabilistic reasoning with incomplete and inconsistent beliefs /
by: Thimm, Matthias, author
Published: (2012)

Probabilistic Default Reasoning with Conditional Constraints
by: Lukasiewicz, T
Published: (2000)

Probabilistic and deductive reasoning in the human brain
by: Lupita Estefania Gazzo Castañeda, et al.
Published: (2023-07-01)

Compositional Stochastic Model Checking Probabilistic Automata via Assume-guarantee Reasoning
by: Yang Liu, et al.
Published: (2020-04-01)