automata

Sort by:Popular▼

✓Popular✓Newest

(De-)Serializers for the AUT Format

(De-) Serializers for the BA Format

Minim SPI

JSMinim is an implementation of the MinimServiceProvider interface that use Javasound to provide all audio functionality. That's about all you really need to know about it.

This artifact provides the implementation of the model checker presented in the paper "M3C: Modal Meta Model Checking" (https://doi.org/10.1007/978-3-030-00244-2_15) by Bernhard Steffen and Alnis Murtovi. The paper is based on "Model Checking for Context-Free Processes" (https://doi.org/10.1007/BFb0084787) by Olaf Burkart and Bernhard Steffen. Note that this implementation requires a runtime dependency to a specific ADDLib backend (see https://add-lib.scce.info/), ...

Executor4s

Common parent metaproject for various miscellaneous additions (algorithms, automaton types) to AutomataLib, which are rather specific in their respective use case.

This artifact contains several miscellaneous, well-known algorithms, which however are rather specific in their concrete use case and therefore not fit for the AutomataLib Utilities library. Examples include Dijkstra's algorithm for the SSSP problem, the Floyd-Warshall algorithm for the APSP problem and Tarjan's algorithm for finding all strongly-connected components in a graph.

Set of libraries for experimental mathematics

Opentracing wrapper for Clojure