×

Found 4,034 Documents (Results 1–100)

Ill-founded proof systems for intuitionistic linear-time temporal logic. (English) Zbl 07850747

Ramanayake, Revantha (ed.) et al., Automated reasoning with analytic tableaux and related methods. 32nd international conference, TABLEAUX 2023, Prague, Czech Republic, September 18–21, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 14278, 223-241 (2023).
MSC:  68V15
PDFBibTeX XMLCite
Full Text: DOI

Incentive engineering for concurrent games. (English) Zbl 07810626

Verbrugge, Rineke (ed.), Proceedings of the nineteenth conference on theoretical aspects of rationality and knowledge, TARK, Oxford, United Kingdom, June 28–30, 2023. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 379, 344-358 (2023).
MSC:  91A20 91B43 03B44
PDFBibTeX XMLCite
Full Text: DOI arXiv

Demo abstract: Analysing CPS security with falsification on the Microsoft flight simulator. (English) Zbl 07807971

Proceedings of the 26th ACM international conference on hybrid systems: computation and control, HSCC 2023, part of the 16th CPS-IoT week, San Antonio, TX, USA, May 9–12, 2023. New York, NY: Association for Computing Machinery (ACM). Paper No. 30, 2 p. (2023).
MSC:  68Q45 68Q60 93C30
PDFBibTeX XMLCite
Full Text: DOI

Poster abstract: Safety guaranteed preference learning approach for autonomous vehicles. (English) Zbl 07807965

Proceedings of the 26th ACM international conference on hybrid systems: computation and control, HSCC 2023, part of the 16th CPS-IoT week, San Antonio, TX, USA, May 9–12, 2023. New York, NY: Association for Computing Machinery (ACM). Paper No. 24, 2 p. (2023).
MSC:  68Q45 68Q60 93C30
PDFBibTeX XMLCite
Full Text: DOI

Poster abstract: Data-driven correct-by-design control of parametric stochastic systems. (English) Zbl 07807963

Proceedings of the 26th ACM international conference on hybrid systems: computation and control, HSCC 2023, part of the 16th CPS-IoT week, San Antonio, TX, USA, May 9–12, 2023. New York, NY: Association for Computing Machinery (ACM). Paper No. 22, 2 p. (2023).
MSC:  68Q45 68Q60 93C30
PDFBibTeX XMLCite
Full Text: DOI Link

Stealthy attacks formalized as STL formulas for falsification of CPS security. (English) Zbl 07807956

Proceedings of the 26th ACM international conference on hybrid systems: computation and control, HSCC 2023, part of the 16th CPS-IoT week, San Antonio, TX, USA, May 9–12, 2023. New York, NY: Association for Computing Machinery (ACM). Paper No. 15, 8 p. (2023).
MSC:  68Q45 68Q60 93C30
PDFBibTeX XMLCite
Full Text: DOI

SySCoRe: synthesis via stochastic coupling relations. (English) Zbl 07807954

Proceedings of the 26th ACM international conference on hybrid systems: computation and control, HSCC 2023, part of the 16th CPS-IoT week, San Antonio, TX, USA, May 9–12, 2023. New York, NY: Association for Computing Machinery (ACM). Paper No. 13, 11 p. (2023).
MSC:  68Q45 68Q60 93C30
PDFBibTeX XMLCite
Full Text: DOI arXiv

Mixed integer linear programming approach for control synthesis with weighted signal temporal logic. (English) Zbl 07807944

Proceedings of the 26th ACM international conference on hybrid systems: computation and control, HSCC 2023, part of the 16th CPS-IoT week, San Antonio, TX, USA, May 9–12, 2023. New York, NY: Association for Computing Machinery (ACM). Paper No. 3, 12 p. (2023).
MSC:  68Q45 68Q60 93C30
PDFBibTeX XMLCite
Full Text: DOI

Logic: reference book for computer scientists. 2nd revised and enlarged edition, previously published under the title Logics for computer and data sciences, and artificial intelligence. (English) Zbl 1529.68008

Intelligent Systems Reference Library 245. Cham: Springer (ISBN 978-3-031-42033-7/hbk; 978-3-031-42036-8/pbk; 978-3-031-42034-4/ebook). xxxiii, 461 p. (2023).
PDFBibTeX XMLCite
Full Text: DOI

Elimination of detached regions in dependency graph verification. (English) Zbl 07750361

Caltais, Georgiana (ed.) et al., Model checking software. 29th international symposium, SPIN 2023, Paris, France, April 26–27, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13872, 163-179 (2023).
PDFBibTeX XMLCite
Full Text: DOI

30th international symposium on temporal representation and reasoning, TIME 2023, NCSR Demokritos, Athens, Greece, September 25–26, 2023. (English) Zbl 1522.68013

LIPIcs – Leibniz International Proceedings in Informatics 278. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik (ISBN 978-3-95977-298-3). xiv, 22 articles, not consecutively paged, electronic only, open access (2023).
PDFBibTeX XMLCite
Full Text: DOI Link

Dynamic Cantor derivative logic. (English) Zbl 07830375

Manea, Florin (ed.) et al., 30th EACSL annual conference on computer science logic, CSL 2022, Göttingen, Germany, virtual conference, February 14–19, 2022. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 216, Article 19, 17 p. (2022).
MSC:  03B70
PDFBibTeX XMLCite
Full Text: DOI

Poster abstract: Learning from demonstrations with temporal logics. (English) Zbl 07807737

Proceedings of the 25th ACM international conference on hybrid systems: computation and control, HSCC 2022, part of CPS-IoT week, Milan, Italy and virtual, May 4–6, 2022. New York, NY: Association for Computing Machinery (ACM). Paper No. 29, 2 p. (2022).
MSC:  68Q45 68Q60 93C30
PDFBibTeX XMLCite
Full Text: DOI

A multiresolution analysis of temporal logic. (English) Zbl 07807725

Proceedings of the 25th ACM international conference on hybrid systems: computation and control, HSCC 2022, part of CPS-IoT week, Milan, Italy and virtual, May 4–6, 2022. New York, NY: Association for Computing Machinery (ACM). Paper No. 17, 10 p. (2022).
MSC:  68Q45 68Q60 93C30
PDFBibTeX XMLCite
Full Text: DOI

Elliptical slice sampling for probabilistic verification of stochastic systems with signal temporal logic specifications. (English) Zbl 07807719

Proceedings of the 25th ACM international conference on hybrid systems: computation and control, HSCC 2022, part of CPS-IoT week, Milan, Italy and virtual, May 4–6, 2022. New York, NY: Association for Computing Machinery (ACM). Paper No. 11, 11 p. (2022).
MSC:  68Q45 68Q60 93C30
PDFBibTeX XMLCite
Full Text: DOI arXiv

Temporal robustness of stochastic signals. (English) Zbl 07807718

Proceedings of the 25th ACM international conference on hybrid systems: computation and control, HSCC 2022, part of CPS-IoT week, Milan, Italy and virtual, May 4–6, 2022. New York, NY: Association for Computing Machinery (ACM). Paper No. 10, 11 p. (2022).
MSC:  68Q45 68Q60 93C30
PDFBibTeX XMLCite
Full Text: DOI arXiv

Successive convexification for optimal control with signal temporal logic specifications. (English) Zbl 07807717

Proceedings of the 25th ACM international conference on hybrid systems: computation and control, HSCC 2022, part of CPS-IoT week, Milan, Italy and virtual, May 4–6, 2022. New York, NY: Association for Computing Machinery (ACM). Paper No. 9, 7 p. (2022).
MSC:  68Q45 68Q60 93C30
PDFBibTeX XMLCite
Full Text: DOI Link

Parametric interval temporal logic over infinite words. (English) Zbl 1530.68155

Ganty, Pierre (ed.) et al., Proceedings of the 13th international symposium on games, automata, logics, and formal verification, GandALF 2022, Madrid, Spain, September 21–23, 2022. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 370, 97-113 (2022).
MSC:  68Q60 03B44
PDFBibTeX XMLCite
Full Text: arXiv Link

On the translation of automata to linear temporal logic. (English) Zbl 07793027

Bouyer, Patricia (ed.) et al., Foundations of software science and computation structures. 25th international conference, FOSSACS 2022, held as part of the European joint conferences on theory and practice of software, ETAPS 2022, Munich, Germany, April 2–7, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13242, 140-160 (2022).
MSC:  68Nxx 68Qxx
PDFBibTeX XMLCite
Full Text: DOI arXiv

Representing regular languages of infinite words using mod 2 multiplicity automata. (English) Zbl 07793020

Bouyer, Patricia (ed.) et al., Foundations of software science and computation structures. 25th international conference, FOSSACS 2022, held as part of the European joint conferences on theory and practice of software, ETAPS 2022, Munich, Germany, April 2–7, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13242, 1-20 (2022).
MSC:  68Nxx 68Qxx
PDFBibTeX XMLCite
Full Text: DOI

A framework for transforming specifications in reinforcement learning. (English) Zbl 1528.68205

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, 604-624 (2022).
MSC:  68Q60 68T05 90C40
PDFBibTeX XMLCite
Full Text: DOI arXiv

Satisfiability of quantitative probabilistic CTL: rise to the challenge. (English) Zbl 1528.68216

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

A simple rewrite system for the normalization of linear temporal logic. (English) Zbl 1528.68159

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, 208-227 (2022).
MSC:  68Q42 03B44
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

all top 3

Software