Theoretical Aspects of Computing - ICTAC 2023
20th International Colloquium, Lima, Peru, December 4-8, 2023, Proceedings
(Sprache: Englisch)
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...
The 20 full papers presented in this volume together with 3...
Voraussichtlich lieferbar in 3 Tag(en)
versandkostenfrei
Buch (Kartoniert)
81.39 €
- Lastschrift, Kreditkarte, Paypal, Rechnung
- Kostenlose Rücksendung
- Ratenzahlung möglich
Produktdetails
Produktinformationen zu „Theoretical Aspects of Computing - ICTAC 2023 “
Klappentext zu „Theoretical Aspects of Computing - ICTAC 2023 “
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.
Inhaltsverzeichnis zu „Theoretical Aspects of Computing - ICTAC 2023 “
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.
Bibliographische Angaben
- 2023, 1st ed. 2023, XI, 440 Seiten, 60 farbige Abbildungen, Maße: 15,5 x 23,5 cm, Kartoniert (TB), Englisch
- Herausgegeben: Erika Ábrahám, Clemens Dubslaff, Silvia Lizeth Tapia Tarifa
- Verlag: Springer, Berlin
- ISBN-10: 3031479629
- ISBN-13: 9783031479625
Sprache:
Englisch
Kommentar zu "Theoretical Aspects of Computing - ICTAC 2023"
Schreiben Sie einen Kommentar zu "Theoretical Aspects of Computing - ICTAC 2023".
Kommentar verfassen