×

Found 77 Documents (Results 1–77)

Divide-and-conquer determinization of Büchi automata based on SCC decomposition. (English) Zbl 1514.68108

Shoham, Sharon (ed.) et al., Computer aided verification. 34th international conference, CAV 2022, Haifa, Israel, August 7–10, 2022. Proceedings. Part II. Cham: Springer. Lect. Notes Comput. Sci. 13372, 152-173 (2022).
MSC:  68Q45
PDFBibTeX XMLCite
Full Text: DOI arXiv

Verifying Pufferfish privacy in hidden Markov models. (English) Zbl 1498.68104

Finkbeiner, Bernd (ed.) et al., Verification, model checking, and abstract interpretation. 23rd international conference, VMCAI 2022, Philadelphia, PA, USA, January 16–18, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13182, 174-196 (2022).
MSC:  68P27
PDFBibTeX XMLCite
Full Text: DOI arXiv

Improving neural network verification through spurious region guided refinement. (English) Zbl 1467.68096

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, 389-408 (2021).
MSC:  68Q60 68T07
PDFBibTeX XMLCite
Full Text: DOI arXiv

Proving non-inclusion of Büchi automata based on Monte Carlo sampling. (English) Zbl 1517.68205

Hung, Dang Van (ed.) et al., Automated technology for verification and analysis. 18th international symposium, ATVA 2020, Hanoi, Vietnam, October 19–23, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12302, 467-483 (2020).
MSC:  68Q45 68Q60 68Q87
PDFBibTeX XMLCite
Full Text: DOI arXiv

On the power of unambiguity in Büchi complementation. (English) Zbl 07455748

Raskin, Jean-Francois (ed.) et al., Proceedings of the 11th international symposium on games, automata, logics, and formal verification, GandALF 2020, Brussels, Belgium, September 21–22, 2020. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 326, 182-198 (2020).
MSC:  68Q45 68Q60 91A80
PDFBibTeX XMLCite
Full Text: arXiv Link

Dependable software engineering. Theories, tools, and applications. 6th international symposium, SETTA 2020, Guangzhou, China, November 24–27, 2020. Proceedings. (English) Zbl 1493.68020

Lecture Notes in Computer Science 12153. Cham: Springer (ISBN 978-3-030-62821-5/pbk; 978-3-030-62822-2/ebook). xiii, 203 p. (2020).
MSC:  68-06 68Nxx 00B25
PDFBibTeX XMLCite
Full Text: DOI

Tools and algorithms for the construction and analysis of systems. 25th international conference, TACAS 2019, held as part of the European joint conferences on theory and practice of software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019. Proceedings. Part I. (English) Zbl 1408.68025

Lecture Notes in Computer Science 11427. Cham: Springer (ISBN 978-3-030-17461-3/pbk; 978-3-030-17462-0/ebook). xxiii, 433 p., open access (2019).
MSC:  68-06 68Qxx 00B25
PDFBibTeX XMLCite
Full Text: DOI

Tools and algorithms for the construction and analysis of systems. 25th international conference, TACAS 2019, held as part of the European joint conferences on theory and practice of software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019. Proceedings. Part II. (English) Zbl 1408.68024

Lecture Notes in Computer Science 11428. Cham: Springer (ISBN 978-3-030-17464-4/pbk; 978-3-030-17465-1/ebook). xxiii, 413 p., open access (2019).
MSC:  68-06 68Qxx 00B25
PDFBibTeX XMLCite
Full Text: DOI

Learning to complement Büchi automata. (English) Zbl 1446.68082

Dillig, Isil (ed.) et al., Verification, model checking, and abstract interpretation. 19th international conference, VMCAI 2018, Los Angeles, CA, USA, January 7–9, 2018. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10747, 313-335 (2018).
MSC:  68Q45 68Q32
PDFBibTeX XMLCite
Full Text: DOI

29th international conference on concurrency theory. CONCUR 2018, Beijing, China, September 4–7, 2018. Proceedings. (English) Zbl 1402.68024

LIPIcs – Leibniz International Proceedings in Informatics 118. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-95977-087-3). xxi, 42 articles, not consecutively paged, electronic only, open access (2018).
MSC:  68-06 68Q85 00B25
PDFBibTeX XMLCite
Full Text: DOI Link

On equivalence checking of nondeterministic finite automata. (English) Zbl 1498.68136

Larsen, Kim G. (ed.) et al., Dependable software engineering. Theories, tools, and applications. Third international symposium, SETTA 2017, Changsha, China, October 23–25, 2017. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10606, 216-231 (2017).
MSC:  68Q45
PDFBibTeX XMLCite
Full Text: DOI

Finding polynomial loop invariants for probabilistic programs. (English) Zbl 1495.68042

D’Souza, Deepak (ed.) et al., Automated technology for verification and analysis. 15th international symposium, ATVA 2017, Pune, India, October 3–6, 2017. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10482, 400-416 (2017).
MSC:  68N30 68Q60
PDFBibTeX XMLCite
Full Text: DOI arXiv

A novel learning algorithm for Büchi automata based on family of DFAs and classification trees. (English) Zbl 1453.68098

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, 208-226 (2017).
MSC:  68Q32 68Q45
PDFBibTeX XMLCite
Full Text: DOI arXiv

Distribution-based bisimulation for labelled Markov processes. (English) Zbl 1494.68184

Abate, Alessandro (ed.) et al., Formal modeling and analysis of timed systems. 15th international conference, FORMATS 2017, Berlin, Germany, September 5–7, 2017. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10419, 170-186 (2017).
MSC:  68Q85 68Q87
PDFBibTeX XMLCite
Full Text: DOI arXiv

Synthesising strategy improvement and recursive algorithms for solving 2.5 player parity games. (English) Zbl 1484.68141

Bouajjani, Ahmed (ed.) et al., Verification, model checking, and abstract interpretation. 18th international conference, VMCAI 2017, Paris, France, January 15–17, 2017. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10145, 266-287 (2017).
MSC:  68Q85 91A43
PDFBibTeX XMLCite
Full Text: DOI arXiv

A simple algorithm for solving qualitative probabilistic parity games. (English) Zbl 1411.68068

Chaudhuri, Swarat (ed.) et al., Computer aided verification. 28th international conference, CAV 2016, Toronto, ON, Canada, July 17–23, 2016. Proceedings. Part II. Cham: Springer. Lect. Notes Comput. Sci. 9780, 291-311 (2016).
MSC:  68Q60 68W40 91A43
PDFBibTeX XMLCite
Full Text: DOI

An efficient synthesis algorithm for parametric Markov chains against linear time properties. (English) Zbl 1393.68107

Fränzle, Martin (ed.) et al., Dependable software engineering: theories, tools, and applications. Second international symposium, SETTA 2016, Beijing, China, November 9–11, 2016. Proceedings. Cham: Springer (ISBN 978-3-319-47676-6/pbk; 978-3-319-47677-3/ebook). Lecture Notes in Computer Science 9984, 280-296 (2016).
MSC:  68Q60 68Q45 68Q87
PDFBibTeX XMLCite
Full Text: DOI arXiv

Probabilistic bisimulation for realistic schedulers. (English) Zbl 1427.68193

Bjørner, Nikolaj (ed.) et al., FM 2015: formal methods. 20th international symposium, Oslo, Norway, June 24–26, 2015. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9109, 248-264 (2015).
MSC:  68Q85 68Q45 68Q87
PDFBibTeX XMLCite
Full Text: DOI

Counterexample-guided polynomial loop invariant generation by Lagrange interpolation. (English) Zbl 1381.68049

Kroening, Daniel (ed.) et al., Computer aided verification. 27th international conference, CAV 2015, San Francisco, CA, USA, July 18–24, 2015. Proceedings. Part I. Cham: Springer (ISBN 978-3-319-21689-8/pbk; 978-3-319-21690-4/ebook). Lecture Notes in Computer Science 9206, 658-674 (2015).
MSC:  68N30 41A05
PDFBibTeX XMLCite
Full Text: DOI arXiv

Lazy probabilistic model checking without determinisation. (English) Zbl 1374.68290

Aceto, Luca (ed.) et al., 26th international conference on concurrency theory, CONCUR’15, Madrid, Spain, September 1–4, 2015. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-91-0). LIPIcs – Leibniz International Proceedings in Informatics 42, 354-367 (2015).
MSC:  68Q60 68Q45 68Q87
PDFBibTeX XMLCite
Full Text: DOI arXiv

Extending hybrid CSP with probability and stochasticity. (English) Zbl 1369.68264

Li, Xuandong (ed.) et al., Dependable software engineering: theories, tools, and applications. First international symposium, SETTA 2015, Nanjing, China, November 4–6, 2015. Proceedings. Cham: Springer (ISBN 978-3-319-25941-3/pbk; 978-3-319-25942-0/ebook). Lecture Notes in Computer Science 9409, 87-102 (2015).
PDFBibTeX XMLCite
Full Text: DOI arXiv

Leveraging weighted automata in compositional reasoning about concurrent probabilistic systems. (English) Zbl 1346.68133

Proceedings of the 42nd ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’15, Mumbai, India, January 12–18, 2015. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-3300-9). 503-514 (2015).
PDFBibTeX XMLCite
Full Text: DOI

Automated technology for verification and analysis. 13th international symposium, ATVA 2015, Shanghai, China, October 12–15, 2015. Proceedings. (English) Zbl 1325.68017

Lecture Notes in Computer Science 9364. Cham: Springer (ISBN 978-3-319-24952-0/pbk; 978-3-319-24953-7/ebook). xiii, 520 p. (2015).
MSC:  68-06 68Q60 00B25
PDFBibTeX XMLCite
Full Text: DOI

Probably safe or live. (English) Zbl 1394.68231

Proceedings of the joint meeting of the twenty-third EACSL annual conference on computer science logic, CSL, and the 2014 29th annual ACM/IEEE symposium on logic in computer science, LICS 2014, Vienna, Austria, July 14–18, 2014. Los Alamitos, CA: IEEE Computer Society (ISBN 978-1-4503-2886-9). Paper No. 55, 10 p. (2014).
PDFBibTeX XMLCite
Full Text: DOI arXiv Link

\(\mathrm{LTL}_{f}\) satisfiability checking. (English) Zbl 1366.68177

Schaub, Torsten (ed.) et al., ECAI 2014. 21st European conference on artificial intelligence, Prague, Czech Republic, August 18–22, 2014. Proceedings. Including proceedings of the accompanied concerence on prestigious applications of intelligent systems (PAIS 2014). Amsterdam: IOS Press (ISBN 978-1-61499-418-3/pbk; 978-1-61499-419-0/ebook). Frontiers in Artificial Intelligence and Applications 263, 513-518 (2014).
MSC:  68Q60 68Q25
PDFBibTeX XMLCite
Full Text: arXiv Link

Bisimulations and logical characterizations on continuous-time Markov decision processes. (English) Zbl 1428.68191

McMillan, Kenneth L. (ed.) et al., Verification, model checking, and abstract interpretation. 15th international conference, VMCAI 2014, San Diego, CA, USA, January 19–21, 2014. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 8318, 98-117 (2014).
MSC:  68Q60 68Q85 68Q87
PDFBibTeX XMLCite
Full Text: DOI arXiv

A nearly optimal upper bound for the self-stabilization time in Herman’s algorithm. (English) Zbl 1417.68296

Baldan, Paolo (ed.) et al., CONCUR 2014 – concurrency theory. 25th international conference, CONCUR 2014, Rome, Italy, September 2–5, 2014. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 8704, 342-356 (2014).
MSC:  68W40 68M14 68M15
PDFBibTeX XMLCite
Full Text: DOI Link

CCMC: a conditional CSL model checker for continuous-time Markov chains. (English) Zbl 1410.68227

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, 464-468 (2013).
MSC:  68Q60 68Q87
PDFBibTeX XMLCite
Full Text: DOI

Deciding bisimilarities on distributions. (English) Zbl 1398.68364

Joshi, Kaustubh (ed.) et al., Quantitative evaluation of systems. 10th international conference, QEST 2013, Buenos Aires, Argentina, August 27–30, 2013. Proceedings. Berlin: Springer (ISBN 978-3-642-40195-4/pbk). Lecture Notes in Computer Science 8054, 72-88 (2013).
MSC:  68Q85 68Q45 68Q87
PDFBibTeX XMLCite
Full Text: DOI

On the relationship between LTL normal forms and Büchi automata. (English) Zbl 1390.68435

Liu, Zhiming (ed.) et al., Theories of programming and formal methods. Essays dedicated to Jifeng He on the occasion of his 70th birthday. Berlin: Springer (ISBN 978-3-642-39697-7/pbk). Lecture Notes in Computer Science 8051, 256-270 (2013).
MSC:  68Q60 03B44 03D05
PDFBibTeX XMLCite
Full Text: DOI arXiv

The quest for minimal quotients for probabilistic automata. (English) Zbl 1381.68115

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, 16-31 (2013).
MSC:  68Q45 68Q85 68Q87
PDFBibTeX XMLCite
Full Text: DOI

A semantics for every GSPN. (English) Zbl 1381.68199

Colom, José-Manuel (ed.) et al., Application and theory of Petri nets and concurrency. 34th international conference, PETRI NETS 2013, Milan, Italy, June 24–28, 2013. Proceedings. Berlin: Springer (ISBN 978-3-642-38696-1/pbk). Lecture Notes in Computer Science 7927, 90-109 (2013).
MSC:  68Q85 68Q55 68Q87
PDFBibTeX XMLCite
Full Text: DOI

A general framework for probabilistic characterizing formulae. (English) Zbl 1326.68176

Kuncak, Viktor (ed.) et al., Verification, model checking, and abstract interpretation. 13th international conference, VMCAI 2012, Philadelphia, PA, USA, January 22–24, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-27939-3/pbk). Lecture Notes in Computer Science 7148, 396-411 (2012).
PDFBibTeX XMLCite
Full Text: DOI

Measurability and safety verification for stochastic hybrid systems. (English) Zbl 1362.68170

Proceedings of the 14th ACM international conference on hybrid systems: computation and control, HSCC 2011, Chicago, IL, USA, April 12–14, 2011. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-0629-4). 43-52 (2011).
MSC:  68Q60 68Q45
PDFBibTeX XMLCite
Full Text: DOI

Efficient approximation of optimal control for continuous-time Markov games. (English) Zbl 1246.68165

Chakraborthy, Supraik (ed.) et al., IARCS annual conference on foundations of software technology and theoretical computer science (FSTTCS 2011), Mumbai, India, December 12–14, 2011. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-34-7). LIPIcs – Leibniz International Proceedings in Informatics 13, 399-410, electronic only (2011).
MSC:  68Q87 91A15 68Q60
PDFBibTeX XMLCite
Full Text: DOI arXiv

Bisimulations meet PCTL equivalences for probabilistic automata. (English) Zbl 1344.68170

Katoen, Joost-Pieter (ed.) et al., CONCUR 2011 – concurrency theory. 22nd international conference, CONCUR 2011, Aachen, Germany, September 6–9, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-23216-9/pbk). Lecture Notes in Computer Science 6901, 108-123 (2011).
PDFBibTeX XMLCite
Full Text: DOI

On stabilization in Herman’s algorithm. (English) Zbl 1333.68038

Aceto, Luca (ed.) et al., Automata, languages and programming. 38th international colloquium, ICALP 2011, Zurich, Switzerland, July 4–8, 2011. Proceedings, Part II. Berlin: Springer (ISBN 978-3-642-22011-1/pbk). Lecture Notes in Computer Science 6756, 466-477 (2011).
PDFBibTeX XMLCite
Full Text: DOI arXiv

Automata-based CSL model checking. (English) Zbl 1334.68135

Aceto, Luca (ed.) et al., Automata, languages and programming. 38th international colloquium, ICALP 2011, Zurich, Switzerland, July 4–8, 2011. Proceedings, Part II. Berlin: Springer (ISBN 978-3-642-22011-1/pbk). Lecture Notes in Computer Science 6756, 271-282 (2011).
PDFBibTeX XMLCite
Full Text: DOI

Concurrency and composition in a stochastic world. (English) Zbl 1287.68132

Gastin, Paul (ed.) et al., CONCUR 2010 – concurrency theory. 21st international conference, CONCUR 2010, Paris, France, August 31 – September 3, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-15374-7/pbk). Lecture Notes in Computer Science 6269, 21-39 (2010).
MSC:  68Q85 68Q45 68Q87
PDFBibTeX XMLCite
Full Text: DOI

Model checking interactive Markov chains. (English) Zbl 1284.68420

Esparza, Javier (ed.) et al., Tools and algorithms for the construction and analysis of systems. 16th international conference, TACAS 2010, held as part of the joint European conferences on theory and practice of software, ETAPS 2010, Paphos, Cyprus, March 20–28, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-12001-5/pbk). Lecture Notes in Computer Science 6015, 53-68 (2010).
MSC:  68Q60 68Q87
PDFBibTeX XMLCite
Full Text: DOI

Best probabilistic transformers. (English) Zbl 1273.68244

Barthe, Gilles (ed.) et al., Verification, model checking, and abstract interpretation. 11th international conference, VMCAI 2010, Madrid, Spain, January 17–19, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-11318-5/pbk). Lecture Notes in Computer Science 5944, 362-379 (2010).
MSC:  68Q60 68Q85 68Q87
PDFBibTeX XMLCite
Full Text: DOI

On the minimisation of acyclic models. (English) Zbl 1160.68462

van Breugel, Franck (ed.) et al., CONCUR 2008 – concurrency theory. 19th international conference, CONCUR 2008, Toronto, Canada, August 19–22, 2008. Proceedings. Berlin: Springer (ISBN 978-3-540-85360-2/pbk). Lecture Notes in Computer Science 5201, 295-309 (2008).
MSC:  68Q85
PDFBibTeX XMLCite
Full Text: DOI

Deciding simulations on probabilistic automata. (English) Zbl 1141.68443

Namjoshi, Kedar S. (ed.) et al., Automated technology for verification and analysis. 5th international symposium, ATVA 2007 Tokyo, Japan, October 22–25, 2007. Proceedings. Berlin: Springer (ISBN 978-3-540-75595-1/pbk). Lecture Notes in Computer Science 4762, 207-222 (2007).
MSC:  68Q45 68Q85
PDFBibTeX XMLCite
Full Text: DOI

Flow faster: Efficient decision algorithms for probabilistic simulations. (English) Zbl 1186.68326

Grumberg, Orna (ed.) et al., Tools and algorithms for the construction and analysis of systems. 13th international conference, TACAS 2007, held as part of the joint European conferences on theory and practice of software, ETAPS 2007, Braga, Portugal, March 24 – April 1, 2007. Proceedings. Berlin: Springer (ISBN 978-3-540-71208-4/pbk). Lecture Notes in Computer Science 4424, 155-169 (2007).
MSC:  68Q87
PDFBibTeX XMLCite
Full Text: DOI

Logic and model checking for hidden Markov models. (English) Zbl 1169.68524

Wang, Farn (ed.), Formal techniques for networked and distributed systems – FORTE 2005. 25th IFIP WG 6.1 international conference, Taipei, Taiwan, October 2–5, 2005. Proceedings. Berlin: Springer (ISBN 3-540-29189-X/pbk). Lecture Notes in Computer Science 3731, 98-112 (2005).
MSC:  68Q60
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