1.8FLMay 22
AGDES: Automatic Generation of Dependent Event SequencesAlexander Obeid Guzman
This note presents AGDES, a tool for Automatic Generation of Dependent Event Sequences. Each event sequence is either generated as the output word of a deterministic finite automaton (DFA), or produced as the output word of a DFA called transducer that reads events from one or more input sequences, and produces an output sequence.