Backward Reachability Analysis for Timed Automata with Data Variables.
Rebeka FarkasTamás TóthÁkos HajduAndrás VörösPublished in: Electron. Commun. Eur. Assoc. Softw. Sci. Technol. (2018)
Keyphrases
- reachability analysis
- database
- data sets
- timed automata
- data analysis
- data structure
- relational databases
- data sources
- data collection
- data processing
- input data
- temporal information
- knowledge discovery
- data points
- training data
- user defined
- probability distribution
- input variables
- incremental algorithms
- search algorithm
- data mining