Theoretical Aspects of Computing ¿ ICTAC 2023

20th International Colloquium, Lima, Peru, December 4¿8, 2023, Proceedings
Herausgegeben:Ábrahám, Erika; Dubslaff, Clemens; Tarifa, Silvia Lizeth Tapia

• Broschiertes Buch

Produktbeschreibung

This book constitutes the proceedings of the 20th International Colloquium on Theoretical Aspects of Computing, ICTAC 2023, which took place in Lima, Peru, during December 4-8, 2023.

The 20 full papers presented in this volume together with 3 invited papers and 1 tool paper were carefully reviewed and selected from 40 submissions.

They were organised in the topical sections as follows: Bring Together Practitioners; Researchers from Academia; Industry; Government to Present Research Results and Exchange Experience and Ideas.

Produktdetails

• Lecture Notes in Computer Science 14446
• Verlag: Springer / Springer Nature Switzerland / Springer, Berlin
• Artikelnr. des Verlages: 978-3-031-47962-5
• 1st ed. 2023
• Seitenzahl: 452
• Erscheinungstermin: 23. November 2023
• Englisch
• Abmessung: 235mm x 155mm x 25mm
• Gewicht: 680g
• ISBN-13: 9783031479625
• ISBN-10: 3031479629
• Artikelnr.: 69096726

Inhaltsangabe

Optimal Route Synthesis in Space DTN using Markov Decision Processes.- Modelling and Verifying Robotic Software that use Neural Networks.- A game-theoretic approach to indistinguishability of winning objectives as user privacy.- Learning Attack Trees by Genetic Algorithms.- The Landscape of Computing Symmetric $n$-Variable Functions with $2n$ Cards.- On the complexity of reasoning in Kleene algebras with commutativity conditions.- Towards the Complexity Analysis of Programming Language Proof Methods.- A Dynamic Temporal Logic for Quality of Service in Choreographic Models.- Interactive Matching Logic Proofs in Coq.- An Autonomous Data Language.- Formal Language Semantics for Triggered Enable Statecharts with a Run-to-Completion Scheduling.- Strong Call-by-Value and Multi Types.- Algorithms for Checking Intersection Non-emptiness of Regular Expressions.- Realisability of Global Models of Interaction.- Efficient Reactive Synthesis Using Mode Decomposition.- A Categorical Approach to Synthetic Chemistry.- Closure and Decision Properties for Higher-Dimensional Automata.- Robustness in Metric Spaces over Continuous Quantales and the Hausdorff-Smyth Monad.- Moggi Synchronous Agents, Verification, and Blame - A Deontic View.- Store Locally, Prove Globally.- Denotational Semantics for Symbolic Execution.- TOOL PAPER: Tessla-ROS-Bridge - Runtime Verification of Robotic Systems.- Simplifying process parameters by unfolding algebraic data types.- Modular Soundness Checking of Feature Model Evolution Plans.