Literatura científica selecionada sobre o tema "Omega-Regular languages"
Crie uma referência precisa em APA, MLA, Chicago, Harvard, e outros estilos
Consulte a lista de atuais artigos, livros, teses, anais de congressos e outras fontes científicas relevantes para o tema "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.
Artigos de revistas sobre o assunto "Omega-Regular languages"
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 fonteLivros sobre o assunto "Omega-Regular languages"
Greek Exercise Book: The Noun and the Regular Verb In -[Omega. Creative Media Partners, LLC, 2022.
Encontre o texto completo da fonteGreek Exercise Book: The Noun and the Regular Verb In -[Omega. Creative Media Partners, LLC, 2018.
Encontre o texto completo da fonteGreek Exercise Book: The Noun and the Regular Verb In -[Omega. Creative Media Partners, LLC, 2022.
Encontre o texto completo da fonteKaegi, Adolf, Henri Ternaux-Compans e James Aloysius Kleist. Greek Exercise Book: The Noun and the Regular Verb in -[omega. Franklin Classics Trade Press, 2018.
Encontre o texto completo da fonteKaegi, Adolf, Henri Ternaux-Compans e James Aloysius Kleist. Greek Exercise Book: The Noun and the Regular Verb In -[Omega. Creative Media Partners, LLC, 2018.
Encontre o texto completo da fonteCapítulos de livros sobre o assunto "Omega-Regular languages"
Angluin, Dana, e Dana Fisman. "Learning Regular Omega Languages". In Lecture Notes in Computer Science, 125–39. Cham: Springer International Publishing, 2014. http://dx.doi.org/10.1007/978-3-319-11662-4_10.
Texto completo da fonteEdixhoven, Luc, e Sung-Shik Jongmans. "Balanced-By-Construction Regular and $$\omega $$-Regular Languages". In Developments in Language Theory, 130–42. Cham: Springer International Publishing, 2021. http://dx.doi.org/10.1007/978-3-030-81508-0_11.
Texto completo da fonteDimitrova, Rayna, Bernd Finkbeiner e Hazem Torfah. "Approximate Automata for Omega-Regular Languages". In Automated Technology for Verification and Analysis, 334–49. Cham: Springer International Publishing, 2019. http://dx.doi.org/10.1007/978-3-030-31784-3_19.
Texto completo da fonteChen, Zhe, Yunyun Chen, Robert M. Hierons e Yifan Wu. "Four-Valued Monitorability of $$\omega $$-Regular Languages". In Formal Methods and Software Engineering, 198–214. Cham: Springer International Publishing, 2020. http://dx.doi.org/10.1007/978-3-030-63406-3_12.
Texto completo da fonteOrekhovskii, Vladislav, e Victor Selivanov. "Logic vs Topology on Regular $$\omega $$-languages". In Lecture Notes in Computer Science, 141–53. Cham: Springer Nature Switzerland, 2023. http://dx.doi.org/10.1007/978-3-031-36978-0_12.
Texto completo da fonteSkrzypczak, Michał. "Separation for $$\omega \mathrm {B}$$ - and $$\omega \mathrm {S}$$ -regular Languages". In Descriptive Set Theoretic Methods in Automata Theory, 183–203. Berlin, Heidelberg: Springer Berlin Heidelberg, 2016. http://dx.doi.org/10.1007/978-3-662-52947-8_11.
Texto completo da fonteMichaud, Thibaud, e Alexandre Duret-Lutz. "Practical Stutter-Invariance Checks for $$\omega $$ -Regular Languages". In Model Checking Software, 84–101. Cham: Springer International Publishing, 2015. http://dx.doi.org/10.1007/978-3-319-23404-5_7.
Texto completo da fonteWinkler, Tobias, Christina Gehnen e Joost-Pieter Katoen. "Model Checking Temporal Properties of Recursive Probabilistic Programs". In Lecture Notes in Computer Science, 449–69. Cham: Springer International Publishing, 2022. http://dx.doi.org/10.1007/978-3-030-99253-8_23.
Texto completo da fonteLöding, Christof, e Anton Pirogov. "Ambiguity, Weakness, and Regularity in Probabilistic Büchi Automata". In Lecture Notes in Computer Science, 522–41. Cham: Springer International Publishing, 2020. http://dx.doi.org/10.1007/978-3-030-45231-5_27.
Texto completo da fonteLi, Yong, Sven Schewe e Qiyi Tang. "A Novel Family of Finite Automata for Recognizing and Learning $$\omega $$-Regular Languages". In Automated Technology for Verification and Analysis, 53–73. Cham: Springer Nature Switzerland, 2023. http://dx.doi.org/10.1007/978-3-031-45329-8_3.
Texto completo da fonteTrabalhos de conferências sobre o assunto "Omega-Regular languages"
Chen, Jianhui, e Fei He. "Proving almost-sure termination by omega-regular decomposition". In PLDI '20: 41st ACM SIGPLAN International Conference on Programming Language Design and Implementation. New York, NY, USA: ACM, 2020. http://dx.doi.org/10.1145/3385412.3386002.
Texto completo da fonte