skip to main content
Idioma:
Primo Advanced Search
Primo Advanced Search Query Term
Primo Advanced Search Query Term
Primo Advanced Search Query Term
Primo Advanced Search prefilters
Busca Simples
Refinado por: Nome da Publicação: Annals of Mathematics and Artificial Intelligence remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Two AGM-style characterizations of model repair
Two AGM-style characterizations of model repair
Material Type:
Artigo 		Adicionar ao Meu Espaço

Two AGM-style characterizations of model repair

Paulo de Tarso Guerra Oliveira Renata Wassermann

Annals of Mathematics and Artificial Intelligence Basel n. 87, p. 233–257, 2019

Basel 2019

Localização: IME - Inst. Matemática e Estatística    (PROD-2969605 )(Acessar)

2
Making model checking feasible for GOAL
Making model checking feasible for GOAL
Material Type:
Artigo 		Adicionar ao Meu Espaço

Making model checking feasible for GOAL

Yang, Yi ; Holvoet, Tom

Annals of mathematics and artificial intelligence, 2023-10 [Periódico revisado por pares]

Texto completo disponível

Citações Citado por
3
Parameterised complexity of model checking and satisfiability in propositional dependence logic
Parameterised complexity of model checking and satisfiability in propositional dependence logic
Material Type:
Artigo 		Adicionar ao Meu Espaço

Parameterised complexity of model checking and satisfiability in propositional dependence logic

Mahmood, Yasir ; Meier, Arne

Annals of mathematics and artificial intelligence, 2022-03, Vol.90 (2-3), p.271-296 [Periódico revisado por pares]

Cham: Springer International Publishing

Texto completo disponível

Citações Citado por
4
Two AGM-style characterizations of model repair
Two AGM-style characterizations of model repair
Material Type:
Artigo 		Adicionar ao Meu Espaço

Two AGM-style characterizations of model repair

Guerra, Paulo T. ; Wassermann, Renata

Annals of mathematics and artificial intelligence, 2019-11, Vol.87 (3), p.233-257 [Periódico revisado por pares]

Cham: Springer International Publishing

Texto completo disponível

Citações Citado por
5
Efficient suspect selection in unreachable state diagnosis
Efficient suspect selection in unreachable state diagnosis
Material Type:
Artigo 		Adicionar ao Meu Espaço

Efficient suspect selection in unreachable state diagnosis

Berryhill, Ryan ; Veneris, Andreas

Annals of mathematics and artificial intelligence, 2018-04, Vol.82 (4), p.261-277 [Periódico revisado por pares]

Cham: Springer International Publishing

Texto completo disponível

Citações Citado por
6
Establishing flight software reliability: testing, model checking, constraint-solving, monitoring and learning
Establishing flight software reliability: testing, model checking, constraint-solving, monitoring and learning
Material Type:
Artigo 		Adicionar ao Meu Espaço

Establishing flight software reliability: testing, model checking, constraint-solving, monitoring and learning

Groce, Alex ; Havelund, Klaus ; Holzmann, Gerard ; Joshi, Rajeev ; Xu, Ru-Gang

Annals of mathematics and artificial intelligence, 2014-04, Vol.70 (4), p.315-349 [Periódico revisado por pares]

Cham: Springer International Publishing

Texto completo disponível

Citações Citado por
7
A practical approach to model checking Duration Calculus using Presburger Arithmetic
A practical approach to model checking Duration Calculus using Presburger Arithmetic
Material Type:
Artigo 		Adicionar ao Meu Espaço

A practical approach to model checking Duration Calculus using Presburger Arithmetic

Hansen, Michael R. ; Phan, Anh-Dung ; Brekling, Aske W.

Annals of mathematics and artificial intelligence, 2014-07, Vol.71 (1-3), p.251-278 [Periódico revisado por pares]

Cham: Springer International Publishing

Texto completo disponível

Citações Citado por
8
Formal testing for separation assurance
Formal testing for separation assurance
Material Type:
Artigo 		Adicionar ao Meu Espaço

Formal testing for separation assurance

Giannakopoulou, Dimitra ; Bushnell, David H. ; Schumann, Johann ; Erzberger, Heinz ; Heere, Karen

Annals of mathematics and artificial intelligence, 2011-09, Vol.63 (1), p.5-30 [Periódico revisado por pares]

Dordrecht: Springer Netherlands

Texto completo disponível

Citações Citado por
9
Kripke modelling and verification of temporal specifications of a multiple UAV system
Kripke modelling and verification of temporal specifications of a multiple UAV system
Material Type:
Artigo 		Adicionar ao Meu Espaço

Kripke modelling and verification of temporal specifications of a multiple UAV system

Sirigineedi, Gopinadh ; Tsourdos, Antonios ; White, Brian A. ; Żbikowski, Rafał

Annals of mathematics and artificial intelligence, 2011-09, Vol.63 (1), p.31-52 [Periódico revisado por pares]

Dordrecht: Springer Netherlands

Texto completo disponível

Citações Citado por
10
Efficient approximate verification of B and Z models via symmetry markers
Efficient approximate verification of B and Z models via symmetry markers
Material Type:
Artigo 		Adicionar ao Meu Espaço

Efficient approximate verification of B and Z models via symmetry markers

Leuschel, Michael ; Massart, Thierry

Annals of mathematics and artificial intelligence, 2010-05, Vol.59 (1), p.81-106 [Periódico revisado por pares]

Dordrecht: Springer Netherlands

Texto completo disponível

Citações Citado por

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Novas Pesquisas Sugeridas

Ignorar minha busca e procurar por tudo

Deste Autor:

  1. Oliveira, P
  2. Wassermann, R

Neste Assunto:

  1. Computer Science
  2. Model Checking
  3. Mathematics
  4. Mathematics, Applied
  5. Computer Science, Artificial Intelligence

  • Realização: ABCD-USP USP   Logos de Redes Sociais: Freepik

Buscando em bases de dados remotas. Favor aguardar.