Decision Support using Finite Automata and Decision Diagrams

by Esben Rune Hansen