AGDES: Automatic Generation of Dependent Event Sequences

Alexander 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 automat…