Timed Delay Bisimulation is an Equivalence Relation for Timed Transition Systems.
Natalya GribovskayaIrina B. VirbitskaitePublished in: Fundam. Informaticae (2009)
Keyphrases
- equivalence relation
- petri net
- transition systems
- rough set theory
- rough sets
- granular computing
- concurrent systems
- model checking
- artificial intelligence
- temporal logic
- decision rules
- markov chain
- partial order
- concept lattice
- finite state
- numerical data
- binary relations
- dynamic programming
- np hard
- pattern recognition
- model checker
- reactive systems
- reinforcement learning
- machine learning