SAT-based Induction for Temporal Safety Properties.
Roy ArmoniLimor FixRanan FraerScott HuddlestonNir PitermanMoshe Y. VardiPublished in: Electron. Notes Theor. Comput. Sci. (2005)
Keyphrases
- version space
- temporal properties
- spatio temporal
- temporal evolution
- space time
- desirable properties
- inductive learning
- ai planning
- neural network
- spatial and temporal
- temporal constraints
- temporal information
- inductive logic programming
- temporal patterns
- temporal data
- active learning
- decision trees
- machine learning