×

Found 50 Documents (Results 1–50)

Termination of linear loops under commutative updates. (English) Zbl 07760767

Dickenstein, Alicia (ed.) et al., Proceedings of the 48th international symposium on symbolic and algebraic computation, ISSAC, Tromsø, Norway, July 24–27, 2023. New York, NY: Association for Computing Machinery (ACM). 236-241 (2023).
MSC:  68W30
PDFBibTeX XMLCite
Full Text: DOI arXiv

Spatial and timing properties in highway traffic. (English) Zbl 07719828

Seidl, Helmut (ed.) et al., Theoretical aspects of computing – ICTAC 2022. 19th international colloquium, Tbilisi, Georgia, September 27–29, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13572, 114-131 (2022).
MSC:  68Qxx
PDFBibTeX XMLCite
Full Text: DOI

On the decidability of reachability in continuous time linear time-invariant systems. (English) Zbl 07807688

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. 15, 12 p. (2021).
MSC:  68Q45 68Q60 93C30
PDFBibTeX XMLCite
Full Text: DOI arXiv HAL

Decisiveness of stochastic systems and its application to hybrid models. (English) Zbl 07455746

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, 149-165 (2020).
PDFBibTeX XMLCite
Full Text: arXiv Link

Automatic structures: twenty years later. (English) Zbl 1498.03093

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). 21-34 (2020).
PDFBibTeX XMLCite
Full Text: DOI

Computing the volume of compact semi-algebraic sets. (English) Zbl 1467.14139

Bradford, Russell (ed.), Proceedings of the 44th international symposium on symbolic and algebraic computation, ISSAC ’19, Beijing, China, July 15–18, 2019. New York, NY: Association for Computing Machinery (ACM). 259-266 (2019).
MSC:  14P10 14Q20 68W30
PDFBibTeX XMLCite
Full Text: DOI arXiv HAL

\(\mathsf{dL}_{\iota}\): definite descriptions in differential dynamic logic. (English) Zbl 1535.03178

Fontaine, Pascal (ed.), Automated deduction – CADE 27. 27th international conference on automated deduction, Natal, Brazil, August 27–30, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11716, 94-110 (2019).
MSC:  03B70 68V15
PDFBibTeX XMLCite
Full Text: DOI

Verisig: verifying safety properties of hybrid systems with neural network controllers. (English) Zbl 07120152

Proceedings of the 22nd ACM international conference on hybrid systems: computation and control, HSCC 2019, Montreal, Quebec, Canada, April 16–18, 2019. New York, NY: Association for Computing Machinery (ACM). 169-178 (2019).
MSC:  93C30 93B03 68T07
PDFBibTeX XMLCite
Full Text: DOI arXiv

Effective divergence analysis for linear recurrence sequences. (English) Zbl 1530.68128

Schewe, Sven (ed.) et al., 29th international conference on concurrency theory. CONCUR 2018, Beijing, China, September 4–7, 2018. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 118, Article 42, 15 p. (2018).
MSC:  68Q25 03B25 11B37
PDFBibTeX XMLCite
Full Text: DOI arXiv

Separable GPL: decidable model checking with more non-determinism. (English) Zbl 1520.68074

Schewe, Sven (ed.) et al., 29th international conference on concurrency theory. CONCUR 2018, Beijing, China, September 4–7, 2018. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 118, Article 36, 16 p. (2018).
MSC:  68Q60 03B44 68Q87
PDFBibTeX XMLCite
Full Text: DOI

Algorithms to compute probabilistic bisimilarity distances for labelled Markov chains. (English) Zbl 1442.68152

Meyer, Roland (ed.) et al., 28th international conference on concurrency theory. CONCUR 2017, Berlin, Germany, September 5–8, 2017. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 85, Article 27, 16 p. (2017).
PDFBibTeX XMLCite
Full Text: DOI

Recent advances in real geometric reasoning. (English) Zbl 1434.68701

Botana, Francisco (ed.) et al., Automated deduction in geometry. 10th international workshop, ADG 2014, Coimbra, Portugal, July 9–11, 2014. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 9201, 37-52 (2015).
MSC:  68W30 03B35 03G15
PDFBibTeX XMLCite
Full Text: DOI arXiv

Deciding polynomial-exponential problems. (English) Zbl 1236.68301

Jeffrey, David J. (ed.), ISSAC 2008. Proceedings of the twenty-first international symposium on symbolic and algebraic computation 2008, Linz/Hagenberg, Austria, July 20–23, 2008. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-59593-904-3). 215-222 (2008).
MSC:  68W30 03B25 03C10
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Document Type

all top 5

Author

all top 5

Year of Publication

all top 3

Main Field

Biographic Reference