000 04153nam a22005175i 4500
001 978-3-031-47963-2
003 DE-He213
005 20240423130229.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.
650 1 4 _aComputer Science Logic and Foundations of Programming.
700 1 _aÁbrahám, Erika.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
700 1 _aDubslaff, Clemens.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
700 1 _aTarifa, Silvia Lizeth Tapia.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
710 2 _aSpringerLink (Online service)
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
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 _cSPRINGER
999 _c186418
_d186418