A Scenario Approach for Synthesizing k-Inductive Barrier Certificates.
Vishnu MuraliAshutosh TrivediMajid ZamaniPublished in: IEEE Control. Syst. Lett. (2022)
Keyphrases
- real world
- inductive learning
- neural network
- concept learning
- inductive concept learning
- machine learning
- lower bound
- public key
- access control
- inductive logic programming
- knowledge representation
- functional programs
- inductive reasoning
- rule learning
- database
- image sequences
- artificial intelligence
- data sets
- real time