Path Compression in Timed Automata.
Agata JanowskaWojciech PenczekPublished in: Fundam. Informaticae (2007)
Keyphrases
- timed automata
- model checking
- reachability analysis
- theorem prover
- image compression
- first order logic
- compression scheme
- data compression
- compression algorithm
- shortest path
- compression ratio
- theorem proving
- lossy compression
- data structure
- database
- lossless compression
- real time systems
- compression rate
- multiscale
- high quality
- optimal path
- compressed data
- information systems
- learning algorithm