## Found 693 Documents (Results 1–100)

100
MathJax

### Interval probabilistic timed graph transformation systems. (English)Zbl 07493664

Gadducci, Fabio (ed.) et al., Graph transformation. 14th international conference, ICGT 2021, held as part of STAF 2021, virtual event, June 24–25, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12741, 221-239 (2021).
MSC:  68Q42 68Q60 68Q87
Full Text:

Peters, Kirstin (ed.) et al., Formal techniques for distributed objects, components, and systems. 41st IFIP WG 6.1 international conference, FORTE 2021, held as part of the 16th international federated conference on distributed computing techniques, DisCoTec 2021, Valletta, Malta, June 14–18, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12719, 60-79 (2021).
Full Text:

MSC:  03B42
Full Text:

Full Text:

### Multi-objective optimization of long-run average and total rewards. (English)Zbl 1467.68094

Groote, Jan Friso (ed.) et al., Tools and algorithms for the construction and analysis of systems. 27th international conference, TACAS 2021, held as part of the European joint conferences on theory and practice of software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021. Proceedings. Part I. Cham: Springer. Lect. Notes Comput. Sci. 12651, 230-249 (2021).
Full Text:

### Finding provably optimal Markov chains. (English)Zbl 1467.68095

Groote, Jan Friso (ed.) et al., Tools and algorithms for the construction and analysis of systems. 27th international conference, TACAS 2021, held as part of the European joint conferences on theory and practice of software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021. Proceedings. Part I. Cham: Springer. Lect. Notes Comput. Sci. 12651, 173-190 (2021).
MSC:  68Q60 60J22 68Q87
Full Text:

Full Text:

### Revising probabilities and full beliefs. (English)Zbl 1485.03037

MSC:  03B42 03B48
Full Text:

### PrIC3: property directed reachability for MDPs. (English)Zbl 1478.68143

Lahiri, Shuvendu Kumar (ed.) et al., Computer aided verification. 32nd international conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020. Proceedings. Part II. Cham: Springer. Lect. Notes Comput. Sci. 12225, 512-538 (2020).
MSC:  68Q60 68Q87 90C40
Full Text:

### Optimistic value iteration. (English)Zbl 1478.68161

Lahiri, Shuvendu Kumar (ed.) et al., Computer aided verification. 32nd international conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020. Proceedings. Part II. Cham: Springer. Lect. Notes Comput. Sci. 12225, 488-511 (2020).
MSC:  68Q60 68Q87 90C40
Full Text:

### Stochastic games with lexicographic reachability-safety objectives. (English)Zbl 1478.68151

Lahiri, Shuvendu Kumar (ed.) et al., Computer aided verification. 32nd international conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020. Proceedings. Part II. Cham: Springer. Lect. Notes Comput. Sci. 12225, 398-420 (2020).
Full Text:

### Checking qualitative liveness properties of replicated systems with stochastic scheduling. (English)Zbl 1478.68147

Lahiri, Shuvendu Kumar (ed.) et al., Computer aided verification. 32nd international conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020. Proceedings. Part II. Cham: Springer. Lect. Notes Comput. Sci. 12225, 372-397 (2020).
Full Text:

### Unbounded-time safety verification of stochastic differential dynamics. (English)Zbl 1478.68155

Lahiri, Shuvendu Kumar (ed.) et al., Computer aided verification. 32nd international conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020. Proceedings. Part II. Cham: Springer. Lect. Notes Comput. Sci. 12225, 327-348 (2020).
MSC:  68Q60 60H10
Full Text:

### Maximum causal entropy specification inference from demonstrations. (English)Zbl 1478.68301

Lahiri, Shuvendu Kumar (ed.) et al., Computer aided verification. 32nd international conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020. Proceedings. Part II. Cham: Springer. Lect. Notes Comput. Sci. 12225, 255-278 (2020).
MSC:  68T05 68Q60 68Q87
Full Text:

Full Text:

Full Text:

Full Text:

Full Text:

### Bridging the gap between probabilistic model checking and probabilistic planning: survey, compilations, and empirical comparison. (English)Zbl 1445.68134

MSC:  68Q60 68Q87 68T20
Full Text:

MSC:  68T37
Full Text:

Full Text:

### Probabilistic justification logic. (English)Zbl 07194700

MSC:  03B42 03B48
Full Text:

### An accuracy argument in favor of ranking theory. (English)Zbl 1484.03028

MSC:  03B42 03A10 91B06
Full Text:

### Completeness theorems for $$\sigma$$-additive probabilistic semantics. (English)Zbl 1452.03064

MSC:  03B48 03B42 03C10
Full Text:

### Statistical model checking. (English)Zbl 1482.68142

Steffen, Bernhard (ed.) et al., Computing and software science. State of the art and perspectives. Cham: Springer. Lect. Notes Comput. Sci. 10000, 478-504 (2019).
Full Text:

### The 10,000 facets of MDP model checking. (English)Zbl 1482.68133

Steffen, Bernhard (ed.) et al., Computing and software science. State of the art and perspectives. Cham: Springer. Lect. Notes Comput. Sci. 10000, 420-451 (2019).
Full Text:

Full Text:

MSC:  81P16
Full Text:

### Contradictory information: better than nothing? The paradox of the two firefighters. (English)Zbl 1469.03075

Başkent, Can (ed.) et al., Graham Priest on dialetheism and paraconsistency. Cham: Springer. Outst. Contrib. Log. 18, 231-247 (2019).
Full Text:

### Are parametric Markov chains monotonic? (English)Zbl 1437.68121

Chen, Yu-Fang (ed.) et al., Automated technology for verification and analysis. 17th international symposium, ATVA 2019, Taipei, Taiwan, October 28–31, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11781, 479-496 (2019).
MSC:  68Q60 60J10 68Q87
Full Text:

Full Text:

Full Text:

Full Text:

Full Text:

Full Text:

Full Text:

Full Text:

MSC:  03B52
Full Text:

### A uniformization-based algorithm for continuous-time stochastic games model checking. (English)Zbl 1410.68215

MSC:  68Q60 91A15 91A80
Full Text:

### Converging from branching to linear metrics on Markov chains. (English)Zbl 1407.68278

MSC:  68Q60 03B44 68Q87
Full Text:

Full Text:

### The logic of epistemic justification. (English)Zbl 1474.03049

MSC:  03A05 03B42
Full Text:

### Riesz modal logic with threshold operators. (English)Zbl 1453.03017

Proceedings of the 2018 33rd annual ACM/IEEE symposium on logic in computer science, LICS 2018, Oxford, UK, July 9–12, 2018. New York, NY: Association for Computing Machinery (ACM). 710-719 (2018).
MSC:  03B45 03B48
Full Text:

### Measure-entailment and support in the logic of approximate generalizations. (English)Zbl 1429.03070

Florio, Ciro de (ed.) et al., From arithmetic to metaphysics. A path through philosophical logic. In honor of Sergio Galvan. Berlin: De Gruyter. Philos. Anal. 73, 341-371 (2018).
MSC:  03B42 03B48
Full Text:

### Ramifications of imposing uniform responsibility on collective action. (English)Zbl 1436.03064

MSC:  03A05 03B48 03B42
Full Text:

### Bayesian statistical parameter synthesis for linear temporal properties of stochastic models. (English)Zbl 1423.68322

Beyer, Dirk (ed.) et al., Tools and algorithms for the construction and analysis of systems. 24th international conference, TACAS 2018, held as part of the European joint conferences on theory and practice of software, ETAPS 2018, Thessaloniki, Greece, April 14–20, 2018. Proceedings. Part II. Cham: Springer. Lect. Notes Comput. Sci. 10806, 396-413 (2018).
MSC:  68Q87 68Q60 68T05
Full Text:

### Inconsistency measurement in probabilistic logic. (English)Zbl 1451.68259

Grant, John (ed.) et al., Measuring inconsistency in information. London: College Publications. Stud. Log. (Lond.) 73, 235-269 (2018).
MSC:  68T27 03B48 03B53

### Towards a probability theory for product logic: states, integral representation and reasoning. (English)Zbl 1448.60006

Int. J. Approx. Reasoning 93, 199-218 (2018); corrigendum ibid. 103, 267-269 (2018).
MSC:  60A86
Full Text:

Full Text:

### Savage’s theorem under changing awareness. (English)Zbl 1419.91213

MSC:  91B06 03B42 91B16
Full Text:

Full Text:

Full Text:

### Computation tree measurement language (CTML). (English)Zbl 1398.68344

MSC:  68Q60 68Q87
Full Text:

Full Text:

Full Text:

### Reachability in parametric interval Markov chains using constraints. (English)Zbl 1400.68118

MSC:  68Q60 68Q85 68Q87
Full Text:

### The complexity of satisfiability in non-iterated and iterated probabilistic logics. (English)Zbl 1459.03027

MSC:  03B48 03B42 68Q25
Full Text:

### Model checking probabilistic systems. (English)Zbl 1392.68227

Clarke, Edmund M. (ed.) et al., Handbook of model checking. Cham: Springer (ISBN 978-3-319-10574-1/hbk; 978-3-319-10575-8/ebook). 963-999 (2018).
MSC:  68Q60 68Q87
Full Text:

Full Text:

### Interval iteration algorithm for MDPs and IMDPs. (English)Zbl 1393.68103

MSC:  68Q60 68Q87
Full Text:

Full Text:

Full Text:

Full Text:

### On relative and probabilistic finite counterability. (English)Zbl 1390.68433

MSC:  68Q60 03B44 68Q45
Full Text:

### Artificial intelligence: with an introduction to machine learning. 2nd edition of the book previously published under the title ‘Contemporary artificial intelligence’. (English)Zbl 1394.68001

Chapman & Hall/CRC Artificial Intelligence and Robotics Series. Boca Raton, FL: CRC Press (ISBN 978-1-138-50238-3/hbk; 978-1-351-38439-1/ebook). xiii, 466 p. (2018).
MSC:  68-01 68Txx
Full Text:

Full Text:

Full Text:

Full Text:

Full Text:

### Parametric Markov chains: PCTL complexity and fraction-free Gaussian elimination. (English)Zbl 1483.68195

Bouyer, Patricia (ed.) et al., Proceedings of the eighth international symposium on games, automata, logics and formal verification, GandALF 2017, Roma, Italy, September 20–22, 2017. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 256, 16-30 (2017).
Full Text:

### Probabilistic analysis based on symbolic game semantics and model counting. (English)Zbl 1483.68077

Bouyer, Patricia (ed.) et al., Proceedings of the eighth international symposium on games, automata, logics and formal verification, GandALF 2017, Roma, Italy, September 20–22, 2017. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 256, 1-15 (2017).
Full Text:

### Sequential convex programming for the efficient verification of parametric MDPs. (English)Zbl 1452.68117

Legay, Axel (ed.) et al., Tools and algorithms for the construction and analysis of systems. 23rd international conference, TACAS 2017, held as part of the European joint conferences on theory and practice of software, ETAPS 2017, Uppsala, Sweden, April 22–29, 2017. Proceedings. Part II. Berlin: Springer. Lect. Notes Comput. Sci. 10206, 133-150 (2017).
MSC:  68Q60 68Q87 90C25
Full Text:

### Optimal translation of LTL to limit deterministic automata. (English)Zbl 1452.68121

Legay, Axel (ed.) et al., Tools and algorithms for the construction and analysis of systems. 23rd international conference, TACAS 2017, held as part of the European joint conferences on theory and practice of software, ETAPS 2017, Uppsala, Sweden, April 22–29, 2017. Proceedings. Part II. Berlin: Springer. Lect. Notes Comput. Sci. 10206, 113-129 (2017).
Full Text:

### Fair termination for parameterized probabilistic concurrent systems. (English)Zbl 1452.68127

Legay, Axel (ed.) et al., Tools and algorithms for the construction and analysis of systems. 23rd international conference, TACAS 2017, held as part of the European joint conferences on theory and practice of software, ETAPS 2017, Uppsala, Sweden, April 22–29, 2017. Proceedings. Part I. Berlin: Springer. Lect. Notes Comput. Sci. 10205, 499-517 (2017).
MSC:  68Q85 68Q60 68Q87
Full Text:

### Model checking exact cost for attack scenarios. (English)Zbl 1444.68102

Maffei, Matteo (ed.) et al., Principles of security and trust. 6th international conference, POST 2017, held as part of the European joint conferences on theory and practice of software, ETAPS 2017, Uppsala, Sweden, April 22–29, 2017. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 10204, 210-231 (2017).
Full Text:

### Multilevel Monte Carlo method for statistical model checking of hybrid systems. (English)Zbl 1420.68126

Bertrand, Nathalie (ed.) et al., Quantitative evaluation of systems. 14th international conference, QEST 2017, Berlin, Germany, September 5–7, 2017. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10503, 351-367 (2017).
MSC:  68Q60 65C05 68Q87
Full Text:

### Sequential schemes for frequentist estimation of properties in statistical model checking. (English)Zbl 1420.68131

Bertrand, Nathalie (ed.) et al., Quantitative evaluation of systems. 14th international conference, QEST 2017, Berlin, Germany, September 5–7, 2017. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10503, 333-350 (2017).
MSC:  68Q60 68Q87
Full Text:

### Three-valued spatio-temporal logic: a further analysis on spatio-temporal properties of stochastic systems. (English)Zbl 1420.68133

Bertrand, Nathalie (ed.) et al., Quantitative evaluation of systems. 14th international conference, QEST 2017, Berlin, Germany, September 5–7, 2017. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10503, 317-332 (2017).
MSC:  68Q60 03B44 68Q87
Full Text:

### A probabilistic small model theorem to assess confidentiality of dispersed cloud storage. (English)Zbl 1420.68117

Bertrand, Nathalie (ed.) et al., Quantitative evaluation of systems. 14th international conference, QEST 2017, Berlin, Germany, September 5–7, 2017. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10503, 123-139 (2017).
Full Text:

### Paraconsistent probabilities, their significance and their uses. (English)Zbl 1418.03127

Caleiro, Carlos (ed.) et al., Logic and computation. Essays in honour of Amílcar Sernadas. London: College Publications. Tributes 33, 197-229 (2017).
MSC:  03B53 60A05

Full Text:

### Logic and conditional probability. A synthesis. (English)Zbl 1419.03001

Studies in Logic (London) 69. London: College Publications (ISBN 978-1-84890-258-9/pbk). xi, 272 p. (2017).

Full Text:

### Belief and certainty. (English)Zbl 1417.03054

MSC:  03A05 03B42
Full Text:

### Lost in translation: unknowable propositions in probabilistic frameworks. (English)Zbl 1417.03137

MSC:  03B42 03B48
Full Text:

### Vague credence. (English)Zbl 1417.03085

MSC:  03A05 03B52 03B42
Full Text:

Full Text:

### Bridging ranking theory and the stability theory of belief. (English)Zbl 1417.03142

MSC:  03B42 03B48 60A05
Full Text:

### Trace relations and logical preservation for continuous-time Markov decision processes. (English)Zbl 1444.68122

Hung, Dang Van (ed.) et al., Theoretical aspects of computing – ICTAC 2017. 14th international colloquium, Hanoi, Vietnam, October 23–27, 2017. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10580, 192-209 (2017).
Full Text:

### Stochastic invariants for probabilistic termination. (English)Zbl 1380.68114

Castagna, Giuseppe (ed.) et al., Proceedings of the 44th annual ACM SIGPLAN symposium on principles of programming languages, POPL ’17, Paris, France, January 15–21, 2017. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-4660-3). 145-160 (2017).
MSC:  68N30 68Q60 68Q87
Full Text:

Full Text:

Full Text:

### Precisely deciding CSL formulas through approximate model checking for CTMCs. (English)Zbl 1372.68170

MSC:  68Q60 68Q87 68W25
Full Text:

### Probability measures in $$\mathrm {G\"odel}_\varDelta$$ logic. (English)Zbl 06769612

Antonucci, Alessandro (ed.) et al., Symbolic and quantitative approaches to reasoning with uncertainty. 14th European conference, ECSQARU 2017, Lugano, Switzerland, July 10–14, 2017. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10369, 353-363 (2017).
MSC:  68T37
Full Text:

### Equivalence of probabilistic $$\mu$$-calculus and p-automata. (English)Zbl 06763314

Carayol, Arnaud (ed.) et al., Implementation and application of automata. 22nd international conference, CIAA 2017, Marne-la-Vallée, France, June 27–30, 2017. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10329, 64-75 (2017).
Full Text:

### Reasoning about uncertainty. 2nd edition. (English)Zbl 1368.68001

Cambridge, MA: MIT Press (ISBN 978-0-262-53380-5). xv, 488 p. (2017).

### Dynamic Bayesian networks for formal verification of structured stochastic processes. (English)Zbl 1364.68262

MSC:  68Q60 60J05 68Q87
Full Text:

### Quantitative model-checking of controlled discrete-time Markov processes. (English)Zbl 1359.68199

MSC:  68Q60 60J20 68Q87
Full Text:

### Symbolic optimal expected time reachability computation and controller synthesis for probabilistic timed automata. (English)Zbl 1359.68171

MSC:  68Q45 68Q60 68Q87
Full Text:

### Tensor product of no-signaling boxes in the framework of quantum logics. (English)Zbl 1357.81069

MSC:  81P68 81P10 94A12
Full Text:

all top 5

all top 5

all top 5

all top 3

all top 3