Artigos de revistas sobre o tema "Omega-Regular languages"
Crie uma referência precisa em APA, MLA, Chicago, Harvard, e outros estilos
Veja os 16 melhores artigos de revistas para estudos sobre o assunto "Omega-Regular languages".
Ao lado de cada fonte na lista de referências, há um botão "Adicionar à bibliografia". Clique e geraremos automaticamente a citação bibliográfica do trabalho escolhido no estilo de citação de que você precisa: APA, MLA, Harvard, Chicago, Vancouver, etc.
Você também pode baixar o texto completo da publicação científica em formato .pdf e ler o resumo do trabalho online se estiver presente nos metadados.
Veja os artigos de revistas das mais diversas áreas científicas e compile uma bibliografia correta.
Angluin, Dana, e Dana Fisman. "Learning regular omega languages". Theoretical Computer Science 650 (outubro de 2016): 57–72. http://dx.doi.org/10.1016/j.tcs.2016.07.031.
Texto completo da fonteAngluin, Dana, e Dana Fisman. "Regular omega-Languages with an Informative Right Congruence". Electronic Proceedings in Theoretical Computer Science 277 (7 de setembro de 2018): 265–79. http://dx.doi.org/10.4204/eptcs.277.19.
Texto completo da fonteFalah, Amin, Shibashis Guha e Ashutosh Trivedi. "Reinforcement Learning for Omega-Regular Specifications on Continuous-Time MDP". Proceedings of the International Conference on Automated Planning and Scheduling 33, n.º 1 (1 de julho de 2023): 578–86. http://dx.doi.org/10.1609/icaps.v33i1.27239.
Texto completo da fonteAlmeida, J., J. C. Costa e M. Zeitoun. "McCammond’s normal forms for free aperiodic semigroups revisited". LMS Journal of Computation and Mathematics 18, n.º 1 (2015): 130–47. http://dx.doi.org/10.1112/s1461157014000448.
Texto completo da fonteGnatenko, Anton Romanovich, e Vladimir Anatolyevich Zakharov. "On the Model Checking Problem for Some Extension of CTL*". Modeling and Analysis of Information Systems 27, n.º 4 (20 de dezembro de 2020): 428–41. http://dx.doi.org/10.18255/1818-1015-2020-4-428-441.
Texto completo da fonteCURRIE, JAMES D., NARAD RAMPERSAD e KALLE SAARI. "Suffix conjugates for a class of morphic subshifts". Ergodic Theory and Dynamical Systems 35, n.º 6 (4 de junho de 2014): 1767–82. http://dx.doi.org/10.1017/etds.2014.5.
Texto completo da fonteHuy, Phan Trung, e Nguyễn Quý Khang. "Regular omega-languages and finite monoids having infinite products." Journal of Computer Science and Cybernetics 19, n.º 2 (26 de julho de 2012). http://dx.doi.org/10.15625/1813-9663/19/2/1512.
Texto completo da fonteRabinovich, Alexander, e Doron Tiferet. "Ambiguity Hierarchy of Regular Infinite Tree Languages". Logical Methods in Computer Science Volume 17, Issue 3 (13 de agosto de 2021). http://dx.doi.org/10.46298/lmcs-17(3:18)2021.
Texto completo da fonteKlarlund, Nils, Madhavan Mukund e Milind Sohoni. "Determinizing Asynchronous Automata on Infinite Inputs". BRICS Report Series 2, n.º 58 (28 de novembro de 1995). http://dx.doi.org/10.7146/brics.v2i58.19959.
Texto completo da fonteBartholdi, Laurent, e Marialaura Noce. "Tree languages and branched groups". Mathematische Zeitschrift 303, n.º 4 (20 de março de 2023). http://dx.doi.org/10.1007/s00209-023-03249-y.
Texto completo da fonteJagtap, Pushpak, e Dimos V. Dimarogonas. "Controller synthesis against omega‐regular specifications: A funnel‐based control approach". International Journal of Robust and Nonlinear Control, 25 de março de 2024. http://dx.doi.org/10.1002/rnc.7339.
Texto completo da fonteWinkler, Tobias, Christina Gehnen e Joost-Pieter Katoen. "Model Checking Temporal Properties of Recursive Probabilistic Programs". Logical Methods in Computer Science Volume 19, Issue 4 (15 de dezembro de 2023). http://dx.doi.org/10.46298/lmcs-19(4:24)2023.
Texto completo da fonteCimatti, Alessandro, Luca Geatti, Nicola Gigante, Angelo Montanari e Stefano Tonetta. "A first-order logic characterization of safety and co-safety languages". Logical Methods in Computer Science Volume 19, Issue 3 (10 de agosto de 2023). http://dx.doi.org/10.46298/lmcs-19(3:13)2023.
Texto completo da fonteDave, V., E. Filiot, S. Krishna e N. Lhote. "Synthesis of Computable Regular Functions of Infinite Words". Logical Methods in Computer Science Volume 18, Issue 2 (29 de junho de 2022). http://dx.doi.org/10.46298/lmcs-18(2:23)2022.
Texto completo da fonteGnatenko, Anton Romanovich, e Vladimir Anatolyevoch Zakharov. "USING AN EXTENSIONS OF CTL* FOR SPECIFICATION AND VERIFICATION OF SEQUENTIAL REACTIVE SYSTEMS". System Informatics, n.º 17 (2020). http://dx.doi.org/10.31144/si.2307-6410.2020.n17.p21-32.
Texto completo da fonteBansal, Suguman, Swarat Chaudhuri e Moshe Y. Vardi. "Comparator automata in quantitative verification". Logical Methods in Computer Science Volume 18, Issue 3 (29 de julho de 2022). http://dx.doi.org/10.46298/lmcs-18(3:13)2022.
Texto completo da fonte