×

Found 274 Documents (Results 1–100)

Bounded \(t\)-structures, finitistic dimensions, and singularity categories of triangulated categories. arXiv:2401.00130

Preprint, arXiv:2401.00130 [math.RA] (2023).
BibTeX Cite
Full Text: arXiv

Symbolic verification and strategy synthesis for turn-based stochastic games. (English) Zbl 1528.68229

Raskin, Jean-François (ed.) et al., Principles of systems design. Essays dedicated to Thomas A. Henzinger on the occasion of his 60th birthday. Cham: Springer. Lect. Notes Comput. Sci. 13660, 388-406 (2022).
MSC:  68Q60 91A15
PDFBibTeX XMLCite
Full Text: DOI arXiv

Measuring the knot of non-Hermitian degeneracies and non-commuting braids. arXiv:2112.00157

Preprint, arXiv:2112.00157 [physics.optics] (2021).
BibTeX Cite
Full Text: DOI arXiv

Bifurcation curves of two-dimensional quantum walks. (English) Zbl 1487.81045

Di Molfetta, Giuseppe (ed.) et al., Proceedings of the 9th international conference on quantum simulation and quantum walks, QSQW 2020, Marseille, France, January 20–24, 2020. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 315, 59-73 (2020).
PDFBibTeX XMLCite
Full Text: arXiv Link

Multi-player equilibria verification for concurrent stochastic games. (English) Zbl 1483.68197

Gribaudo, Marco (ed.) et al., Quantitative evaluation of systems. 17th international conference, QEST 2020, Vienna, Austria, August 31 – September 3, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12289, 74-95 (2020).
PDFBibTeX XMLCite
Full Text: DOI arXiv Link

Definitions and properties of entropy and distance for regular languages. (English) Zbl 1478.37019

Hawkins, Jane (ed.) et al., Dynamical systems and random processes, 16th Carolina dynamics symposium, Agnes Scott College, Decatur, Georgia, April 13–15, 2018. Providence, RI: American Mathematical Society (AMS). Contemp. Math. 736, 139-169 (2019).
PDFBibTeX XMLCite
Full Text: DOI

Automated verification of concurrent stochastic games. (English) Zbl 1514.68138

McIver, Annabelle (ed.) et al., Quantitative evaluation of systems. 15th international conference, QEST 2018, Beijing, China, September 4–7, 2018. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11024, 223-239 (2018).
MSC:  68Q60 68Q85 91A15
PDFBibTeX XMLCite
Full Text: DOI

Ensuring the reliability of your model checker: interval iteration for Markov decision processes. (English) Zbl 1494.68159

Majumdar, Rupak (ed.) et al., Computer aided verification. 29th international conference, CAV 2017, Heidelberg, Germany, July 24–28, 2017. Proceedings. Part I. Cham: Springer. Lect. Notes Comput. Sci. 10426, 160-180 (2017).
MSC:  68Q60 68Q87 90C40
PDFBibTeX XMLCite
Full Text: DOI Link

Regular language distance and entropy. (English) Zbl 1440.68161

Larsen, Kim G. (ed.) et al., 42nd international symposium on mathematical foundations of computer science, MFCS 2017, August 21–25, 2017, Aalborg, Denmark. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 83, Article 3, 14 p. (2017).
PDFBibTeX XMLCite
Full Text: DOI arXiv

Symbolic verification and strategy synthesis for linearly-priced probabilistic timed automata. (English) Zbl 1431.68066

Aceto, Luca (ed.) et al., Models, algorithms, logics and tools. Essays dedicated to Kim Guldstrand Larsen on the occasion of his 60th birthday. Cham: Springer. Lect. Notes Comput. Sci. 10460, 289-309 (2017).
MSC:  68Q60 68Q45 68Q85
PDFBibTeX XMLCite
Full Text: DOI Link

Finite-horizon bisimulation minimisation for probabilistic systems. (English) Zbl 1354.68197

Bošnački, Dragan (ed.) et al., Model checking software. 23rd international symposium, SPIN 2016, co-located with ETAPS 2016, Eindhoven, The Netherlands, April 7–8, 2016. Proceedings. Cham: Springer (ISBN 978-3-319-32581-1/pbk; 978-3-319-32582-8/ebook). Lecture Notes in Computer Science 9641, 147-164 (2016).
MSC:  68Q85 68Q60 68Q87
PDFBibTeX XMLCite
Full Text: DOI Link

What are the \(C_2\)-groups? (English) Zbl 1368.20009

Campbell, C.M. (ed.) et al., Groups St Andrews 2013. Selected papers of the conference, St. Andrews, UK, August 3–11, 2013. Cambridge: Cambridge University Press (ISBN 978-1-107-51454-6/pbk; 978-1-316-22734-3/ebook). London Mathematical Society Lecture Note Series 422, 194-208 (2015).
MSC:  20D05 20D06 20D20
PDFBibTeX XMLCite
Full Text: DOI

Remarks on lifting Beauville structures of quasisimple groups. (English) Zbl 1326.20013

Bauer, Ingrid (ed.) et al., Beauville surfaces and groups. Proceedings of the conference, Newcastle, UK, June 7–9, 2012. Cham: Springer (ISBN 978-3-319-13861-9/hbk; 978-3-319-13862-6/ebook). Springer Proceedings in Mathematics & Statistics 123, 121-128 (2015).
PDFBibTeX XMLCite
Full Text: DOI

Verification of Markov decision processes using learning algorithms. (English) Zbl 1448.68290

Cassez, Franck (ed.) et al., Automated technology for verification and analysis. 12th international symposium, ATVA 2014, Sydney, NSW, Australia, November 3–7, 2014. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 8837, 98-114 (2014).
MSC:  68Q60 68Q87 68T05
PDFBibTeX XMLCite
Full Text: DOI arXiv

Probabilistic model checking of labelled Markov processes via finite approximate bisimulations. (English) Zbl 1407.68275

van Breugel, Franck (ed.) et al., Horizons of the mind. A tribute to Prakash Panangaden. Essays dedicated to Prakash Panangaden on the occasion of his 60th birthday. Berlin: Springer. Lect. Notes Comput. Sci. 8464, 40-58 (2014).
MSC:  68Q60 68Q87
PDFBibTeX XMLCite
Full Text: DOI

SMT-based bisimulation minimisation of Markov models. (English) Zbl 1426.68168

Giacobazzi, Roberto (ed.) et al., Verification, model checking, and abstract interpretation. 14th international conference, VMCAI 2013, Rome, Italy, January 20–22, 2013. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 7737, 28-47 (2013).
MSC:  68Q60 60J20 68Q87
PDFBibTeX XMLCite
Full Text: DOI

Automated verification and strategy synthesis for probabilistic systems. (English) Zbl 1410.68233

Hung, Dang Van (ed.) et al., Automated technology for verification and analysis. 11th international symposium, ATVA 2013, Hanoi, Vietnam, October 15–18, 2013. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 8172, 5-22 (2013).
MSC:  68Q60 68Q87
PDFBibTeX XMLCite
Full Text: DOI

PRISM-games: a model checker for stochastic multi-player games. (English) Zbl 1381.68151

Piterman, Nir (ed.) et al., Tools and algorithms for the construction and analysis of systems. 19th international conference, TACAS 2013, held as part of the European joint conferences on theory and practice of software, ETAPS 2013, Rome, Italy, March 16–24, 2013. Proceedings. Berlin: Springer (ISBN 978-3-642-36741-0/pbk). Lecture Notes in Computer Science 7795, 185-191 (2013).
PDFBibTeX XMLCite
Full Text: DOI

Pareto curves for probabilistic model checking. (English) Zbl 1374.68285

Chakraborty, Supratik (ed.) et al., Automated technology for verification and analysis. 10th international symposium, ATVA 2012, Thiruvananthapuram, India, October 3–6, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-33385-9/pbk). Lecture Notes in Computer Science 7561, 317-332 (2012).
MSC:  68Q60 68Q87
PDFBibTeX XMLCite
Full Text: DOI arXiv

Connections between power series methods and automatic differentiation. (English) Zbl 1251.65023

Forth, Shaun (ed.) et al., Recent advances in algorithmic differentiation. Selected papers based on the presentations at the 6th international conference on automatic differentiation (AD2012), Fort Collins, CO, USA, July 23–27, 2012. Berlin: Springer (ISBN 978-3-642-30022-6/hbk; 978-3-642-30023-3/ebook). Lecture Notes in Computational Science and Engineering 87, 175-185 (2012).
PDFBibTeX XMLCite
Full Text: DOI

Automatic verification of competitive stochastic systems. (English) Zbl 1352.68150

Flanagan, Cormac (ed.) et al., Tools and algorithms for the construction and analysis of systems. 18th international conference, TACAS 2012, held as part of the European joint conferences on theory and practice of software, ETAPS 2012, Tallinn, Estonia, March 24 – April 1, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-28755-8/pbk). Lecture Notes in Computer Science 7214, 315-330 (2012).
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Document Type

Database

all top 5

Author

all top 5

Serial

all top 5

Year of Publication

all top 3

Main Field

all top 3

Software