×

Found 18 Documents (Results 1–18)

Equivalence checking 40 years after: a review of bisimulation tools. (English) Zbl 1524.68189

Jansen, Nils (ed.) et al., A journey from process algebra via timed automata to model learning. Essays dedicated to Frits Vaandrager on the occasion of his 60th birthday. Cham: Springer. Lect. Notes Comput. Sci. 13560, 213-265 (2022).
MSC:  68Q60 68Q85
PDFBibTeX XMLCite
Full Text: DOI HAL

Model checking finite-horizon Markov chains with probabilistic inference. (English) Zbl 1493.68210

Silva, Alexandra (ed.) et al., Computer aided verification. 33rd international conference, CAV 2021, virtual event, July 20–23, 2021. Proceedings. Part II. Cham: Springer. Lect. Notes Comput. Sci. 12760, 577-601 (2021).
MSC:  68Q60 60J22 68Q87
PDFBibTeX XMLCite
Full Text: DOI arXiv

Engineering secure self-adaptive systems with Bayesian games. (English) Zbl 1467.68019

Guerra, Esther (ed.) et al., Fundamental approaches to software engineering. 24th international conference, FASE 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. Cham: Springer. Lect. Notes Comput. Sci. 12649, 130-151 (2021).
MSC:  68M25 68T05 91A80
PDFBibTeX XMLCite
Full Text: DOI

Using symmetry transformations in equivariant dynamical systems for their safety verification. (English) Zbl 1447.93021

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, 98-114 (2019).
PDFBibTeX XMLCite
Full Text: DOI

ExplicitPRISMSymm: symmetry reduction technique for explicit models in PRISM. (English) Zbl 1459.68122

Jain, Rahul (ed.) et al., Theory and applications of models of computation. 12th annual conference, TAMC 2015, Singapore, May 18–20, 2015. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9076, 400-412 (2015).
MSC:  68Q60 68Q85 68Q87
PDFBibTeX XMLCite
Full Text: DOI

On abstraction of probabilistic systems. (English) Zbl 1426.68167

Remke, Anne (ed.) et al., Stochastic model checking. Rigorous dependability analysis using model checking techniques for stochastic systems. International autumn school, ROCKS 2012, Vahrn, Italy, October 22–26, 2012. Advanced lectures. Berlin: Springer. Lect. Notes Comput. Sci. 8453, 87-116 (2014).
MSC:  68Q60 68Q85 68Q87
PDFBibTeX XMLCite
Full Text: DOI

A formal framework for user centric control of probabilistic multi-agent cyber-physical systems. (English) Zbl 1250.68264

Fisher, Michael (ed.) et al., Computational logic in multi-agent systems. 9th international workshop, CLIMA IX, Dresden, Germany, September 29–30, 2008. Revised selected and invited papers. Berlin: Springer (ISBN 978-3-642-02733-8/pbk). Lecture Notes in Computer Science 5405. Lecture Notes in Artificial Intelligence, 97-116 (2009).
MSC:  68T42 68Q60 68Q87 93A30
PDFBibTeX XMLCite
Full Text: DOI

Distributed Markovian bisimulation reduction aimed at CSL model checking. (English) Zbl 1286.68306

Černá, Ivana (ed.) et al., Proceedings of the 7th international workshop on parallel and distributed methods in verification (PDMC 2008), Budapest, Hungary, March 29, 2008. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 220, No. 2, 35-50 (2008).
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Document Type

all top 5

Year of Publication

all top 3

Main Field

all top 3

Software