GOAL: A Graphical Tool for Manipulating Büchi Automata and Temporal Formulae.
Yih-Kuen TsayYu-Fang ChenMing-Hsien TsaiKang-Nien WuWen-Chin ChanPublished in: TACAS (2007)
Keyphrases
- spatio temporal
- visual representations
- cellular automata
- temporal constraints
- temporal data
- space time
- spatial and temporal
- temporal information
- software tools
- databases
- artificial intelligence
- probabilistic automata
- database
- temporal consistency
- graphical representation
- temporal databases
- regular expressions
- user friendly
- website
- knowledge base
- data sets