×

Found 349 Documents (Results 1–100)

Monitoring timed properties (revisited). (English) Zbl 07643427

Bogomolov, Sergiy (ed.) et al., Formal modeling and analysis of timed systems. 20th international conference, FORMATS 2022, Warsaw, Poland, September 13–15, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13465, 43-62 (2022).
MSC:  68Qxx
PDFBibTeX XMLCite
Full Text: DOI arXiv

Knowledge graphs. (English) Zbl 1475.68007

Synthesis Lectures on Data, Semantics, and Knowledge 22. San Rafael, CA: Morgan & Claypool Publishers (ISBN 978-1-63639-237-0/hbk; 978-1-63639-235-6/pbk; 978-3-031-01918-0/ebook). xix, 237 p. (2022).
PDFBibTeX XMLCite
Full Text: DOI arXiv

Adaptive strategies for rLTL games. (English) Zbl 07807705

Proceedings of the 24th ACM international conference on hybrid systems: computation and control, HSCC 2021, part of CPS-IoT week, Nashville, TN, USA, May 19–21, 2021. New York, NY: Association for Computing Machinery (ACM). Paper No. 32, 2 p. (2021).
MSC:  68Q45 68Q60 93C30
PDFBibTeX XMLCite
Full Text: DOI

A bit of nondeterminism makes pushdown automata expressive and succinct. (English) Zbl 07724226

Bonchi, Filippo (ed.) et al., 46th international symposium on mathematical foundations of computer science, MFCS 2021, August 23–27, 2021, Tallinn, Estonia. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 202, Article 53, 20 p. (2021).
MSC:  68Qxx
PDFBibTeX XMLCite
Full Text: DOI arXiv

HyperLTL satisfiability is \(\Sigma_1^1\)-complete, HyperCTL\(^*\) satisfiability is \(\Sigma_1^2\)-complete. (English) Zbl 07724220

Bonchi, Filippo (ed.) et al., 46th international symposium on mathematical foundations of computer science, MFCS 2021, August 23–27, 2021, Tallinn, Estonia. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 202, Article 47, 19 p. (2021).
MSC:  68Qxx
PDFBibTeX XMLCite
Full Text: DOI arXiv

A framework for modeling the semantics of synchronous and asynchronous procedures with abstract state machines. (English) Zbl 07495067

Raschke, Alexander (ed.) et al., Logic, computation and rigorous methods. Essays dedicated to Egon Börger on the occasion of his 75th birthday. Cham: Springer. Lect. Notes Comput. Sci. 12750, 326-352 (2021).
MSC:  68-XX 03-XX
PDFBibTeX XMLCite
Full Text: DOI

Dualities for modules of finite projective dimension. (English) Zbl 1470.16025

Assem, Ibrahim (ed.) et al., Advances in representation theory of algebras, ARTA VII. Conference in honor of José Antonio de la Peña’s 60th birthday, Instituto de Matemáticas, Universidad Nacional Autónoma de Mexico City, Mexico, September 24–28, 2018. Providence, RI: American Mathematical Society (AMS); Montreal: Centre de Recherches Mathématiques (CRM). Contemp. Math. 761, 61-101 (2021).
PDFBibTeX XMLCite
Full Text: DOI

Model reduction of complex dynamical systems. Selected papers based on the presentations at the workshop, University of Graz, Graz, Austria, August 28–30, 2019. (English) Zbl 1470.93005

ISNM. International Series of Numerical Mathematics 171. Cham: Birkhäuser (ISBN 978-3-030-72982-0/hbk; 978-3-030-72985-1/pbk; 978-3-030-72983-7/ebook). xiii, 415 p. (2021).
PDFBibTeX XMLCite
Full Text: DOI

The keys to decidable hyperltl satisfiability: small models or very simple formulas. (English) Zbl 07650842

Fernández, Maribel (ed.) et al., 28th EACSL annual conference on computer science logic, CSL 2020, Barcelona, Spain, January 13–16, 2020. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 152, Article 29, 16 p. (2020).
MSC:  68-XX 03B70
PDFBibTeX XMLCite
Full Text: DOI arXiv

Optimally resilient strategies in pushdown safety games. (English) Zbl 07559445

Esparza, Javier (ed.) et al., 45th international symposium on mathematical foundations of computer science, MFCS 2020, August 25–26, 2020, Prague, Czech Republic. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 170, Article 74, 15 p. (2020).
MSC:  68Qxx
PDFBibTeX XMLCite
Full Text: DOI arXiv

Optimal strategies in weighted limit games. (English) Zbl 07455744

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, 114-130 (2020).
MSC:  68Q45 68Q60 91A80
PDFBibTeX XMLCite
Full Text: arXiv Link

From LTL to rLTL monitoring. Improved monitorability through robust semantics. (English) Zbl 07300848

Proceedings of the 23rd ACM international conference on hybrid systems: computation and control, HSCC 2020, Sydney, Australia and virtual, April 21–24, 2020. New York, NY: Association for Computing Machinery (ACM). Article No. 7, 12 p. (2020).
MSC:  68Q45 68Q60 93C30
PDFBibTeX XMLCite
Full Text: DOI arXiv

Good-for-games \(\omega \)-pushdown automata. (English) Zbl 1518.68181

Proceedings of the 2020 35th annual ACM/IEEE symposium on logic in computer science, LICS 2020, virtual event, July 8–11, 2020. New York, NY: Association for Computing Machinery (ACM). 689-702 (2020).
MSC:  68Q45 91A80
PDFBibTeX XMLCite
Full Text: DOI arXiv

Promptness and bounded fairness in concurrent and parameterized systems. (English) Zbl 07228514

Beyer, Dirk (ed.) et al., Verification, model checking, and abstract interpretation. 21st international conference, VMCAI 2020, New Orleans, LA, USA, January 16–21, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11990, 337-359 (2020).
MSC:  68Q60
PDFBibTeX XMLCite
Full Text: DOI arXiv

Robust, expressive, and quantitative linear temporal logics: pick any two for free. (English) Zbl 1487.68159

Leroux, Jérôme (ed.) et al., Proceedings of the tenth international symposium on games, automata, logics, and formal verification, GandALF 2019, Bordeaux, France, September 2–3, 2019. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 305, 1-16 (2019).
MSC:  68Q60 03B44
PDFBibTeX XMLCite
Full Text: arXiv Link

Computational mathematics with SageMath. Translated from the 2013 French original by the authors. (English) Zbl 1434.65001

Other Titles in Applied Mathematics 160. Philadelphia, PA: Society for Industrial and Applied Mathematics (SIAM) (ISBN 978-1-61197-545-1/pbk; 978-1-61197-546-8 /ebook). xiv, 464 p. (2019).
MSC:  65-01 65-04
PDFBibTeX XMLCite
Full Text: DOI

Parity games with weights. (English) Zbl 1509.68105

Ghica, Dan R. (ed.) et al., 27th EACSL annual conference on computer science logic, CSL 2018, Birmingham, United Kingdom, September 4–8, 2018. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 119, Article 36, 17 p. (2018).
PDFBibTeX XMLCite
Full Text: DOI

Synthesizing optimally resilient controllers. (English) Zbl 1528.68085

Ghica, Dan R. (ed.) et al., 27th EACSL annual conference on computer science logic, CSL 2018, Birmingham, United Kingdom, September 4–8, 2018. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 119, Article 34, 17 p. (2018).
MSC:  68N30 68Q60 91A80
PDFBibTeX XMLCite
Full Text: DOI

Parity to safety in polynomial time for pushdown and collapsible pushdown systems. (English) Zbl 1512.68154

Potapov, Igor (ed.) et al., 43rd international symposium on mathematical foundations of computer science. MFCS 2018, Liverpool, United Kingdom, August 27–31, 2018. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 117, Article 57, 15 p. (2018).
PDFBibTeX XMLCite
Full Text: DOI arXiv

Team semantics for the specification and verification of hyperproperties. (English) Zbl 1510.68043

Potapov, Igor (ed.) et al., 43rd international symposium on mathematical foundations of computer science. MFCS 2018, Liverpool, United Kingdom, August 27–31, 2018. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 117, Article 10, 16 p. (2018).
MSC:  68Q60 03B44 68Q55
PDFBibTeX XMLCite
Full Text: DOI arXiv

Proceedings of the ninth international symposium on games, automata, logics, and formal verification, GandALF 2018, Saarbrücken, Germany, September 26–28, 2018. (English) Zbl 1436.68032

Electronic Proceedings in Theoretical Computer Science (EPTCS) 277. Waterloo: Open Publishing Association (OPA). 279 p., electronic only, open access (2018).
PDFBibTeX XMLCite
Full Text: DOI arXiv Link

Finite-state strategies in delay games. (English) Zbl 1484.91014

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, 151-165 (2017).
MSC:  91A10 68Q45
PDFBibTeX XMLCite
Full Text: Link

Games with costs and delays. (English) Zbl 1458.68110

Proceedings of the 2017 32nd annual ACM/IEEE symposium on logic in computer science, LICS 2017, Reykjavík University, Reykjavík, Iceland, June 20–23, 2017. Piscataway, NJ: IEEE Press. Article No. 65, 12 p. (2017).
MSC:  68Q45 91A44
PDFBibTeX XMLCite
Full Text: arXiv Link

The first-order logic of hyperproperties. (English) Zbl 1402.03036

Vollmer, Heribert (ed.) et al., 34th symposium on theoretical aspects of computer science (STACS 2017), Hannover, Germany, March 8–11, 2017. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-95977-028-6). LIPIcs – Leibniz International Proceedings in Informatics 66, Article 30, 14 p. (2017).
MSC:  03B70 03B20 03B44
PDFBibTeX XMLCite
Full Text: DOI arXiv

Bounding average-energy games. (English) Zbl 1392.68115

Esparza, Javier (ed.) et al., Foundations of software science and computation structures. 20th international conference, FOSSACS 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 (ISBN 978-3-662-54457-0/pbk; 978-3-662-54458-7/ebook). Lecture Notes in Computer Science 10203, 179-195 (2017).
MSC:  68M20 68Q25 91A80
PDFBibTeX XMLCite
Full Text: DOI arXiv

Approximating optimal bounds in prompt-LTL realizability in doubly-exponential time. (English) Zbl 1478.68179

Cantone, Domenico (ed.) et al., Proceedings of the seventh international symposium on games, automata, logics and formal verification, GandALF 2016, Catania, Italy, September 14–16, 2016. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 226, 302-315 (2016).
MSC:  68Q60 03B44 68Q25
PDFBibTeX XMLCite
Full Text: arXiv Link

Distributed PROMPT-LTL synthesis. (English) Zbl 1478.68163

Cantone, Domenico (ed.) et al., Proceedings of the seventh international symposium on games, automata, logics and formal verification, GandALF 2016, Catania, Italy, September 14–16, 2016. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 226, 228-241 (2016).
MSC:  68Q60 03B44
PDFBibTeX XMLCite
Full Text: arXiv Link

Prompt delay. (English) Zbl 1391.68073

Lal, Akash (ed.) et al., 36th IARCS annual conference on foundations of software technology and theoretical computer science (FSTTCS 2016), Chennai, India, December 13–15, 2016. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-95977-027-9). LIPIcs – Leibniz International Proceedings in Informatics 65, Article 43, 14 p. (2016).
PDFBibTeX XMLCite
Full Text: DOI arXiv

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

Biographic Reference

all top 3

Software