Author:
Fu Jie,Tanner Herbert G.,Heinz Jeffrey N.,Karydis Konstantinos,Chandlee Jane,Koirala Cesar
Funder
National Science Foundation
Subject
Electrical and Electronic Engineering,Artificial Intelligence,Control and Systems Engineering
Reference43 articles.
1. Approximate abstractions of stochastic hybrid systems;Abate;IEEE Trans. Autom. Control,2011
2. Counter-example guided predicate abstraction of hybrid systems. In: Tools and Algorithms for the Construction and Analysis of Systems;Alur,2013
3. Learning partially observable deterministic action models;Amir;J. Artif. Intell. Res.,2008
4. Inductive inference of formal languages from positive data;Angluin;Inf. Comput.–Inf. Control,1980
5. Iterative learning of simple external contextual languages;Becerra-Bonache;Theor. Comput. Sci.,2010
Cited by
5 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献