Search results
From MaRDI portal
- 2018-09-21 Paper Probabilistic team semantics 2018-06-26 Paper Polyteam semantics 2018-04-06 Paper Complexity of Propositional Logics in Team Semantic 2018-03-22...10 bytes (17 words) - 14:05, 7 October 2023
- 2017-11-09 Paper Probabilistic Abstract Interpretation: From Trace Semantics to DTMC’s and Linear Regression 2016-03-23 Paper Probabilistic Analysis of Programs:...10 bytes (16 words) - 07:43, 12 December 2023
- Paper Approximation and dependence via multiteam semantics 2018-09-21 Paper Probabilistic team semantics 2018-06-26 Paper The Expressive Power of Modal Dependence...10 bytes (17 words) - 10:33, 6 October 2023
- Paper A probabilistic semantics for the pure \(\lambda\)-calculus 2017-11-03 Paper On negation as instantiation 2017-01-19 Paper Probabilistic Abstract...10 bytes (18 words) - 07:39, 7 October 2023
- Real-reward testing for probabilistic processes 2014-06-06 Paper Probabilistic Barbed Congruence 2014-01-17 Paper Remarks on Testing Probabilistic Processes 2013-12-06...10 bytes (17 words) - 19:28, 11 December 2023
- Paper Approximation and dependence via multiteam semantics 2018-09-21 Paper Probabilistic team semantics 2018-06-26 Paper https://portal.mardi4nfdi.de/entity/Q4636302...10 bytes (17 words) - 02:08, 10 December 2023
- Recent Advances 2013-08-05 Paper Metric Semantics and Full Abstractness for Action Refinement and Probabilistic Choice 2013-06-06 Paper Reo + \(\mathrm{mCRL2}\):...10 bytes (20 words) - 13:48, 28 January 2024
- Systems 2008-05-27 Paper Probabilistic and Topological Semantics for Timed Automata 2008-04-24 Paper On Decision Problems for Probabilistic Büchi Automata 2008-04-11...10 bytes (17 words) - 01:51, 9 December 2023
- all. A unifying semantics of dynamic fault trees using GSPNs 2019-12-18 Paper Deciding probabilistic simulation between probabilistic pushdown automata...10 bytes (19 words) - 01:51, 9 December 2023
- contextuality by probabilistic programs with hypergraph semantics 2018-12-04 Paper Syntax and operational semantics of a probabilistic programming language...10 bytes (19 words) - 10:24, 11 December 2023
- Publication Type \textsf{PFL}: a probabilistic logic for fault trees 2023-08-17 Paper Model-Based Testing of Probabilistic Systems with Stochastic Time 2022-07-01...10 bytes (18 words) - 15:28, 9 December 2023
- 2015-12-11 Paper Probabilistic coherence spaces are fully abstract for probabilistic PCF 2014-04-10 Paper Applying quantitative semantics to higher-order...10 bytes (16 words) - 19:50, 11 December 2023
- 1997-02-27 Paper Resultant semantics for prolog 1997-02-17 Paper Differential logic programs: Programming methodologies and semantics 1996-12-08 Paper Observable...10 bytes (16 words) - 01:57, 10 December 2023
- Type Explainability of probabilistic bisimilarity distances for labelled Markov chains 2023-11-24 Paper Deciding probabilistic bisimilarity distance one...10 bytes (18 words) - 03:23, 9 December 2023
- Paper Transition semantics: the dynamics of dependence logic 2015-01-08 Paper Lottery semantics: a compositional semantics for probabilistic first-order logic...10 bytes (16 words) - 02:51, 12 December 2023
- Denotational Semantics for a Probabilistic Timed Shared-Variable Language 2015-12-11 Paper Linking operational semantics and algebraic semantics for a probabilistic...10 bytes (18 words) - 08:58, 12 December 2023
- Paper A modal logic for mobile agents 2017-07-12 Paper Group-by-Group Probabilistic Bisimilarities and Their Logical Characterizations 2016-11-09 Paper On...10 bytes (19 words) - 17:45, 11 December 2023
- specification of probabilistic transition systems 2016-07-07 Paper Statistical Approximation of Optimal Schedulers for Probabilistic Timed Automata 2016-06-17...10 bytes (18 words) - 02:17, 9 December 2023
- Weak nonmonotonic probabilistic logics 2007-10-23 Paper Probabilistic description logic programs 2007-07-19 Paper Nonmonotonic probabilistic logics under variable-strength...10 bytes (16 words) - 21:55, 11 December 2023
- conditionals and previsions of iterated conditionals 2020-06-24 Paper Probabilistic inferences from conjoined to iterated conditionals 2019-02-20 Paper The...10 bytes (18 words) - 00:05, 12 December 2023
