AprimorandoAprimorandoEspecificações LTL emSistemasreativos.eficiência de síntese em sistemasUm algoritmo aprimorado melhora aLógica na InformáticaUma Nova Abordagem para Especificações de Sistemas ReativosEste artigo apresenta um método para simplificar especificações LTL em sistemas reativos.2025-10-24T16:15:30+00:00 ― 5 min ler