filmov
tv
GReTA seminar: The Topological Approach to Spatial Model Checking
Показать описание
Speaker:
Vincenzo Ciancia (Institute of Information Science and Technologies, National Research Council of Italy)
Abstract:
This presentation provides an outlook on the topological approach to spatial and spatio-temporal model checking. We introduce spatial logics, the SLCS language, and its semantics applied to various classes of models: Closure Spaces, Graphs, Polyhedra, and Posets. Additionally, we briefly discuss minimization techniques via the Hennessy-Milner property, and current implementation methods, highlighting relevant tools and applications. Special attention is given to how these techniques are used in practical domains such as imaging and 3D mesh analysis.
About the GReTA seminars:
Vincenzo Ciancia (Institute of Information Science and Technologies, National Research Council of Italy)
Abstract:
This presentation provides an outlook on the topological approach to spatial and spatio-temporal model checking. We introduce spatial logics, the SLCS language, and its semantics applied to various classes of models: Closure Spaces, Graphs, Polyhedra, and Posets. Additionally, we briefly discuss minimization techniques via the Hennessy-Milner property, and current implementation methods, highlighting relevant tools and applications. Special attention is given to how these techniques are used in practical domains such as imaging and 3D mesh analysis.
About the GReTA seminars:
1:04:40
GReTA seminar: The Topological Approach to Spatial Model Checking
1:26:26
GReTA seminar #18: 'Combinatorial maps: transformations and application to geometric modeling&a...
1:02:20
GReTA seminar: 'A Category of Surface-Embedded Graphs'
1:46:40
GReTA seminar #20: 'GReTA-ExACT: towards Executable Applied Category Theory'
1:27:10
GReTA seminar #2: 'Chemical Graph Transformation and Applications' by J. L. Andersen and D...
1:19:35
GReTA seminar #7: 'Fast Graph Programs'
1:15:35
GReTA seminar: 'Spatialized synchronous computations with Global Transformations'
1:00:19
GReTA seminar #9: 'Formal Graph Language Theory & Fusion Grammars'
1:15:12
GReTA seminar #1: 'Graph Transformation Meets Logic' by Barbara König
1:24:30
GReTA seminar: 'A Logical Approach to Graph Databases'
1:30:15
GReTA seminar #30: 'Recent Developments in TGG-based Model Synchronisation'
1:37:47
GReTA seminar: 'Functorial Data Migration'
1:08:18
GReTA seminar #11: 'Rewriting Modulo Symmetric Monoidal Structure'
1:23:47
GReTA seminar: 'Rewriting for Monoidal Closed Categories'
1:43:16
GCM Session 2
1:24:30
GCM Session 1
1:58:41
GReTA Special Event: 'Graph Rewriting as a Foundation for Science and Technology (and the Unive...
1:29:25
GReTA seminar: Higher-Arity Algebra via Hypergraph Rewriting
1:05:41
GReTA-ExACT session #2: 'Hierarchy Builder'
1:27:36
GReTA seminar: 'On Over-Squashing and Expressivity: Can GNNs Mix Variables?'
0:55:07
Adélie Garin 'From Trees to Barcodes and Back Again: Combinatorial and Probabilistic Perspectiv...
1:10:48
Online Spintronics Seminar #67: Lucas Caretta
1:05:38
Διακεκριμένες Διαλέξεις Τμήματος Επιστήμης Υπολογιστών ΠΚ - 'ML for Graphs ...', M. Vazirg...
1:10:21
Dr. Martin Maier - INTERBEING in the Next G Era: On the Symbiosis ... - IEEE LCN 2023 Keynote
Комментарии