31 citations · 81 across the 29 of their papers we have counts for
35 papers
Languages and Recognition in a Category with Factorisation
Harsh Beohar, Mike Cruchten, Georg Struth
Language recognition by homomorphisms is a central construction of algebraic language theory. Initially studied for monoids and semigroups, it has subsequently been expanded to oth…
Presheaf automata
Georg Struth, Krzysztof Ziemiański
We introduce presheaf automata as a generalisation of different variants of higher-dimensional automata and other automata-like formalisms, including Petri nets and vector addition…
Scalable Automated Verification for Cyber-Physical Systems in Isabelle/HOL
Jonathan Julián Huerta y Munive, Simon Foster, Mario Gleirscher +3
We formally introduce IsaVODEs (Isabelle verification with Ordinary Differential Equations), a framework for the verification of cyber-physical systems. We describe the semantic fo…
Higher Catoids, Higher Quantales and their Correspondences
Cameron Calk, Philippe Malbos, Damien Pous +1
We introduce -catoids as generalisations of (strict) -categories and in particular the higher path categories generated by computads or polygraphs in higher-dimensional rewri…
Modal Algebra of Multirelations
Hitoshi Furusawa, Walter Guttmann, Georg Struth
We formalise the modal operators from the concurrent dynamic logics of Peleg, Nerode and Wijesekera in a multirelational algebraic language based on relation algebra and power alle…
Determinism of Multirelations
Hitoshi Furusawa, Walter Guttmann, Georg Struth
Binary multirelations can model alternating nondeterminism, for instance, in games or nondeterministically evolving systems interacting with an environment. Such systems can show p…