Del i serien Lecture Notes in Computer Science

Software Engineering and Formal Methods. SEFM 2025 Collocated Workshops

ReacTS 2025 and CIFMA 2025, Toledo, Spain, November 11, 2025, Revised Selected Papers

Häftad, Engelska, 2026

AvFrancesco Bianchini,Arianna Pavone,José Proença,José Ignacio Requeno Jarabo,Umberto Rivieccio

1 999 kr

Kommande

This volume constitutes the papers of two workshops which were held in conjunction with the 23rd International Workshop on Software Engineering and Formal Methods, SEFM 2025 Collocated Workshops, held in Toledo, Spain, on November 11, 2025.The 12 full papers and 5 short papers presented in this book were carefully reviewed and selected from 26 submissions. SEFM 2025 Collocated Workshops presents the following two workshops:ReacTS 2025: International Workshop on Reconfigurable Transition Systems: Semantics, Logics and Applications.CIFMA 2025: 7th International Workshop on Cognition: Interdisciplinary Foundations, Models and Applications.

Produktinformation

Utgivningsdatum2026-07-30
Mått155 x 235 x undefined mm
FormatHäftad
SpråkEngelska
SerieLecture Notes in Computer Science
Antal sidor231
FörlagSpringer Nature Switzerland AG
ISBN9783032297129

Tillhör följande kategorier

Programvaruutveckling inom Data och IT
Systemvetenskap och AI inom Data och IT

.- Comparing finite many-valued logics via WSkS..- goLoop: SMT-Based Loop Analysis via Global Optimization..- Probabilistic Relation-Changing Operators..- Reconfigurable stochastic multi-formalism models: an approach based on Maude..- A HASKELL encoding for reconfigurable timed systems..- Reasoning about blurred observations of program states: A recipe..- Four-valued logics of indicative conditionals..- Dynamic Fuzzy Language for Labeled Fuzzy Reactive Graphs..- Janus Cognition: Bio ↔ Xeno Round-Trip..- Does Dual Tasking Expend Limited-Resource Executive Processes?..- Cognitively Inspired Sampled String Matching..- A Modal Semantics of Perception..- Representation and invariance in reinforcement learning..- Fake News through Influence Models: a proposal..- Quantum Collapse as a Model of Creative Insight: A Formal Framework for Emergent Cognition..- The Evolution of Metaphorical Language: A Formal Model of Figurative Communication..- Semi-Participants: LLMs, Activity Theory, and the Symbol Grounding Problem.