Author:
Aichernig Bernhard K.,Tappler Martin
Publisher
Springer International Publishing
Reference36 articles.
1. Lecture Notes in Computer Science;BK Aichernig,2017
2. Angluin, D.: Learning regular sets from queries and counterexamples. Inf. Comput. 75(2), 87–106 (1987). doi:
10.1016/0890-5401(87)90052-6
3. Banks, A., Gupta, R. (eds.): MQTT Version 3.1.1. OASIS Standard, October 2014.
http://docs.oasis-open.org/mqtt/mqtt/v3.1.1/os/mqtt-v3.1.1-os.html
, latest version.
http://docs.oasis-open.org/mqtt/mqtt/v3.1.1/os/mqtt-v3.1.1-os.html
4. Brázdil, T., Chatterjee, K., Chmelik, M., Forejt, V., Kretínský, J., Kwiatkowska, M.Z., Parker, D., Ujma, M.: Verification of Markov decision processes using learning algorithms. In: Cassez and Raskin [6], pp. 98–114.
http://dx.doi.org/10.1007/978-3-319-11936-6_8
5. Lecture Notes in Computer Science;RC Carrasco,1994
Cited by
6 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献