000 04190nam a22005175i 4500
001 978-3-031-47963-2
003 DE-He213
005 20240730202739.0
007 cr nn 008mamaa
008 231122s2023 sz | s |||| 0|eng d
020 _a9783031479632
_9978-3-031-47963-2
024 7 _a10.1007/978-3-031-47963-2
_2doi
050 4 _aQA75.5-76.95
072 7 _aUYA
_2bicssc
072 7 _aCOM014000
_2bisacsh
072 7 _aUYA
_2thema
082 0 4 _a004.0151
_223
245 1 0 _aTheoretical Aspects of Computing - ICTAC 2023
_h[electronic resource] :
_b20th International Colloquium, Lima, Peru, December 4-8, 2023, Proceedings /
_cedited by Erika Ábrahám, Clemens Dubslaff, Silvia Lizeth Tapia Tarifa.
250 _a1st ed. 2023.
264 1 _aCham :
_bSpringer Nature Switzerland :
_bImprint: Springer,
_c2023.
300 _aXI, 440 p. 123 illus., 60 illus. in color.
_bonline resource.
336 _atext
_btxt
_2rdacontent
337 _acomputer
_bc
_2rdamedia
338 _aonline resource
_bcr
_2rdacarrier
347 _atext file
_bPDF
_2rda
490 1 _aLecture Notes in Computer Science,
_x1611-3349 ;
_v14446
505 0 _aOptimal 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.
520 _aThis 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.
650 0 _aComputer science.
_99832
650 1 4 _aComputer Science Logic and Foundations of Programming.
_942203
700 1 _aÁbrahám, Erika.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
_9172851
700 1 _aDubslaff, Clemens.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
_9172852
700 1 _aTarifa, Silvia Lizeth Tapia.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
_9172853
710 2 _aSpringerLink (Online service)
_9172854
773 0 _tSpringer Nature eBook
776 0 8 _iPrinted edition:
_z9783031479625
776 0 8 _iPrinted edition:
_z9783031479649
830 0 _aLecture Notes in Computer Science,
_x1611-3349 ;
_v14446
_923263
856 4 0 _uhttps://doi.org/10.1007/978-3-031-47963-2
912 _aZDB-2-SCS
912 _aZDB-2-SXCS
912 _aZDB-2-LNC
942 _cELN
999 _c97159
_d97159