Formal Synthesis of Neural Barrier Certificates for Continuous Systems via Counterexample Guided Learning.
Hanrui ZhaoNiuniu QiLydia DehbiXia ZengZhengfeng YangPublished in: ACM Trans. Embed. Comput. Syst. (2023)
Keyphrases
- learning systems
- learning algorithm
- learning process
- learning scheme
- knowledge acquisition
- information retrieval
- prior knowledge
- online learning
- reinforcement learning
- learning problems
- learning analytics
- artificial intelligence
- formal methods
- multi agent
- supervised learning
- computer systems
- case study
- learning tasks
- biologically plausible
- educational systems