Author:
Peled Doron,Iosti Simon,Bensalem Saddek
Publisher
Springer International Publishing
Reference21 articles.
1. Angluin, D.: Learning regular sets from queries and counter examples. Inf. Comput. 75(2), 87–106 (1987)
2. Basu, A., Bensalem, S., Peled, D.A., Sifakis, J.: Priority scheduling of distributed systems based on model checking. Formal Meth. Syst. Des. 39(3), 229–245 (2011)
3. Lecture Notes in Computer Science;L Bu,2018
4. Cassandras, C.G., Lafortune, S.: Introduction to Discrete Event Systems, 2nd edn. Springer, Berlin (2008).
https://doi.org/10.1007/978-0-387-68612-7
5. Dean, T.L., et al.: Inferring finite automata with stochastic output functions and an application to map learning. In: Proceedings of the 10th National Conference on Artificial Intelligence, San Jose, CA, USA, 12–16 July 1992, pp. 208–214 (1992)
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Synthesizing Control for a System with Black Box Environment, Based on Deep Learning;Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles;2020