×

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
PDF BibTeX XML Cite
Full Text: DOI

How adaptive and reliable is your program? (English) Zbl 07493472

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).
PDF BibTeX XML Cite
Full Text: DOI

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).
PDF BibTeX XML Cite
Full Text: DOI arXiv

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
PDF BibTeX XML Cite
Full Text: DOI

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
PDF BibTeX XML Cite
Full Text: DOI arXiv

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
PDF BibTeX XML Cite
Full Text: DOI arXiv

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).
PDF BibTeX XML Cite
Full Text: DOI arXiv

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).
PDF BibTeX XML Cite
Full Text: DOI arXiv

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
PDF BibTeX XML Cite
Full Text: DOI arXiv

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
PDF BibTeX XML Cite
Full Text: DOI arXiv

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
PDF BibTeX XML Cite
Full Text: DOI arXiv

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
PDF BibTeX XML Cite
Full Text: DOI

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
PDF BibTeX XML Cite
Full Text: DOI

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
PDF BibTeX XML Cite
Full Text: Link

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).
PDF BibTeX XML Cite
Full Text: Link

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).
PDF BibTeX XML Cite
Full Text: arXiv Link

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
PDF BibTeX XML Cite
Full Text: DOI arXiv

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).
PDF BibTeX XML Cite
Full Text: DOI Link

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
PDF BibTeX XML Cite
Full Text: DOI arXiv Link

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).
PDF BibTeX XML Cite
Full Text: DOI

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
PDF BibTeX XML Cite
Full Text: DOI arXiv

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
PDF BibTeX XML Cite
Full Text: DOI Link

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
PDF BibTeX XML Cite
Full Text: DOI Link

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).
PDF BibTeX XML Cite
Full Text: DOI

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).
PDF BibTeX XML Cite
Full Text: DOI

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
PDF BibTeX XML Cite
Full Text: DOI arXiv

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
PDF BibTeX XML Cite
Full Text: DOI

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).
PDF BibTeX XML Cite
Full Text: DOI

Filter Results by …

Document Type

Reviewing State

all top 5

Author

all top 5

Serial

all top 5

Year of Publication

all top 3

Classification

Biographic Reference

all top 3

Software