9 projects
algebraic-arrays
Abstract algebric structures for GPU-efficient computation
argus-automatix
A package for manipulating automata via algebraic representation theory
morphata
Flexible automata representations for regular and ω-regular languages.
logic-asts
Grammars and parsers for various logic
percemon
None
argus-temporal-logic
None
probabilistic-timed-automata
Python library for building and simulating probabilistic timed automata.
signal-temporal-logic
A library for efficiently working with Signal Temporal Logic (STL) and its quantitative semantics.
