Artykuły w czasopismach na temat „Omega-Regular languages”
Utwórz poprawne odniesienie w stylach APA, MLA, Chicago, Harvard i wielu innych
Sprawdź 16 najlepszych artykułów w czasopismach naukowych na temat „Omega-Regular languages”.
Przycisk „Dodaj do bibliografii” jest dostępny obok każdej pracy w bibliografii. Użyj go – a my automatycznie utworzymy odniesienie bibliograficzne do wybranej pracy w stylu cytowania, którego potrzebujesz: APA, MLA, Harvard, Chicago, Vancouver itp.
Możesz również pobrać pełny tekst publikacji naukowej w formacie „.pdf” i przeczytać adnotację do pracy online, jeśli odpowiednie parametry są dostępne w metadanych.
Przeglądaj artykuły w czasopismach z różnych dziedzin i twórz odpowiednie bibliografie.
Angluin, Dana, i Dana Fisman. "Learning regular omega languages". Theoretical Computer Science 650 (październik 2016): 57–72. http://dx.doi.org/10.1016/j.tcs.2016.07.031.
Pełny tekst źródłaAngluin, Dana, i Dana Fisman. "Regular omega-Languages with an Informative Right Congruence". Electronic Proceedings in Theoretical Computer Science 277 (7.09.2018): 265–79. http://dx.doi.org/10.4204/eptcs.277.19.
Pełny tekst źródłaFalah, Amin, Shibashis Guha i Ashutosh Trivedi. "Reinforcement Learning for Omega-Regular Specifications on Continuous-Time MDP". Proceedings of the International Conference on Automated Planning and Scheduling 33, nr 1 (1.07.2023): 578–86. http://dx.doi.org/10.1609/icaps.v33i1.27239.
Pełny tekst źródłaAlmeida, J., J. C. Costa i M. Zeitoun. "McCammond’s normal forms for free aperiodic semigroups revisited". LMS Journal of Computation and Mathematics 18, nr 1 (2015): 130–47. http://dx.doi.org/10.1112/s1461157014000448.
Pełny tekst źródłaGnatenko, Anton Romanovich, i Vladimir Anatolyevich Zakharov. "On the Model Checking Problem for Some Extension of CTL*". Modeling and Analysis of Information Systems 27, nr 4 (20.12.2020): 428–41. http://dx.doi.org/10.18255/1818-1015-2020-4-428-441.
Pełny tekst źródłaCURRIE, JAMES D., NARAD RAMPERSAD i KALLE SAARI. "Suffix conjugates for a class of morphic subshifts". Ergodic Theory and Dynamical Systems 35, nr 6 (4.06.2014): 1767–82. http://dx.doi.org/10.1017/etds.2014.5.
Pełny tekst źródłaHuy, Phan Trung, i Nguyễn Quý Khang. "Regular omega-languages and finite monoids having infinite products." Journal of Computer Science and Cybernetics 19, nr 2 (26.07.2012). http://dx.doi.org/10.15625/1813-9663/19/2/1512.
Pełny tekst źródłaRabinovich, Alexander, i Doron Tiferet. "Ambiguity Hierarchy of Regular Infinite Tree Languages". Logical Methods in Computer Science Volume 17, Issue 3 (13.08.2021). http://dx.doi.org/10.46298/lmcs-17(3:18)2021.
Pełny tekst źródłaKlarlund, Nils, Madhavan Mukund i Milind Sohoni. "Determinizing Asynchronous Automata on Infinite Inputs". BRICS Report Series 2, nr 58 (28.11.1995). http://dx.doi.org/10.7146/brics.v2i58.19959.
Pełny tekst źródłaBartholdi, Laurent, i Marialaura Noce. "Tree languages and branched groups". Mathematische Zeitschrift 303, nr 4 (20.03.2023). http://dx.doi.org/10.1007/s00209-023-03249-y.
Pełny tekst źródłaJagtap, Pushpak, i Dimos V. Dimarogonas. "Controller synthesis against omega‐regular specifications: A funnel‐based control approach". International Journal of Robust and Nonlinear Control, 25.03.2024. http://dx.doi.org/10.1002/rnc.7339.
Pełny tekst źródłaWinkler, Tobias, Christina Gehnen i Joost-Pieter Katoen. "Model Checking Temporal Properties of Recursive Probabilistic Programs". Logical Methods in Computer Science Volume 19, Issue 4 (15.12.2023). http://dx.doi.org/10.46298/lmcs-19(4:24)2023.
Pełny tekst źródłaCimatti, Alessandro, Luca Geatti, Nicola Gigante, Angelo Montanari i Stefano Tonetta. "A first-order logic characterization of safety and co-safety languages". Logical Methods in Computer Science Volume 19, Issue 3 (10.08.2023). http://dx.doi.org/10.46298/lmcs-19(3:13)2023.
Pełny tekst źródłaDave, V., E. Filiot, S. Krishna i N. Lhote. "Synthesis of Computable Regular Functions of Infinite Words". Logical Methods in Computer Science Volume 18, Issue 2 (29.06.2022). http://dx.doi.org/10.46298/lmcs-18(2:23)2022.
Pełny tekst źródłaGnatenko, Anton Romanovich, i Vladimir Anatolyevoch Zakharov. "USING AN EXTENSIONS OF CTL* FOR SPECIFICATION AND VERIFICATION OF SEQUENTIAL REACTIVE SYSTEMS". System Informatics, nr 17 (2020). http://dx.doi.org/10.31144/si.2307-6410.2020.n17.p21-32.
Pełny tekst źródłaBansal, Suguman, Swarat Chaudhuri i Moshe Y. Vardi. "Comparator automata in quantitative verification". Logical Methods in Computer Science Volume 18, Issue 3 (29.07.2022). http://dx.doi.org/10.46298/lmcs-18(3:13)2022.
Pełny tekst źródła