×

Found 19 Documents (Results 1–19)

Monte Carlo tree search for priced timed automata. (English) Zbl 1522.68273

Ábrahám, Erika (ed.) et al., Quantitative evaluation of systems. 19th international conference, QEST 2022, Warsaw, Poland, September 12–16, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13479, 381-398 (2022).
MSC:  68Q45 68T20 90B35
PDFBibTeX XMLCite
Full Text: DOI

Automata-driven partial order reduction and guided search for LTL model checking. (English) Zbl 1498.68160

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, 151-173 (2022).
MSC:  68Q60 03B44 68Q45
PDFBibTeX XMLCite
Full Text: DOI

Improvements in unfolding of colored Petri nets. (English) Zbl 07670973

Bell, Paul C. (ed.) et al., Reachability problems. 15th international conference, RP 2021, Liverpool, UK, October 25–27, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13035, 69-84 (2021).
MSC:  68Qxx
PDFBibTeX XMLCite
Full Text: DOI arXiv

Faster pushdown reachability analysis with applications in network verification. (English) Zbl 1497.68308

Hou, Zhe (ed.) et al., Automated technology for verification and analysis. 19th international symposium, ATVA 2021, Gold Coast, QLD, Australia, October 18–22, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12971, 170-186 (2021).
MSC:  68Q60
PDFBibTeX XMLCite
Full Text: DOI

Stubborn set reduction for timed reachability and safety games. (English) Zbl 07497999

Dima, Catalin (ed.) et al., Formal modeling and analysis of timed systems. 19th international conference, FORMATS 2021, Paris, France, August 24–26, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12860, 32-49 (2021).
MSC:  68Qxx
PDFBibTeX XMLCite
Full Text: DOI

Automatic synthesis of transiently correct network updates via Petri games. (English) Zbl 1489.68157

Buchs, Didier (ed.) et al., Application and theory of Petri nets and concurrency. 42nd international conference, PETRI NETS 2021, virtual event, June 23–25, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12734, 118-137 (2021).
PDFBibTeX XMLCite
Full Text: DOI

Partial order reduction for reachability games. (English) Zbl 07649931

Fokkink, Wan (ed.) et al., 30th international conference on concurrency theory, CONCUR 2019, Amsterdam, the Netherlands, August 27–30, 2019. Proceedings. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 140, Article 23, 15 p. (2019).
MSC:  68Q85
PDFBibTeX XMLCite
Full Text: DOI

Start pruning when time gets urgent: partial order reduction for timed systems. (English) Zbl 1511.68180

Chockler, Hana (ed.) et al., Computer aided verification. 30th international conference, CAV 2018, held as part of the federated logic conference, FloC 2018, Oxford, UK, July 14–17, 2018. Proceedings. Part I. Cham: Springer Open. Lect. Notes Comput. Sci. 10981, 527-546 (2018).
MSC:  68Q85 68Q60
PDFBibTeX XMLCite
Full Text: DOI

Simplification of CTL formulae for efficient model checking of Petri nets. (English) Zbl 1427.68161

Khomenko, Victor (ed.) et al., Application and theory of Petri nets and concurrency. 39th international conference, PETRI NETS 2018, Bratislava, Slovakia, June 24–29, 2018. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10877, 143-163 (2018).
MSC:  68Q60 03B44 68Q85
PDFBibTeX XMLCite
Full Text: DOI

PTrie: data structure for compressing and storing sets via prefix sharing. (English) Zbl 1444.68063

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, 248-265 (2017).
MSC:  68P05 68Q60 68Q85
PDFBibTeX XMLCite
Full Text: DOI

Real-time strategy synthesis for timed-arc Petri net games via discretization. (English) Zbl 1354.68196

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, 129-146 (2016).
MSC:  68Q85 68Q60
PDFBibTeX XMLCite
Full Text: DOI

On time with minimal expected cost! (English) Zbl 1448.68294

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, 129-145 (2014).
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