Uma abordagem para verificação de missões multi-robôs em alto nível no UPPAAL
Enregistré dans:
| Auteur principal: | |
|---|---|
| Date de publication: | 2023 |
| Format: | Master thesis |
| Langue: | por |
| Source: | Repositório Institucional da UnB |
| Download full: | http://repositorio.unb.br/handle/10482/49798 |
Résumé: | Dissertação (Mestrado) — Universidade de Brasília, Instituto de Ciências Exatas, Departamento de Ciência da Computação, 2023. |
Documents similaires: Uma abordagem para verificação de missões multi-robôs em alto nível no UPPAAL
- Verificação de implementações em hardware por meio de provas de correção de suas definições recursivas
- Verificação de propriedades do cálculo גex em Coq
- Formalização da prova do teorema de existência de unificadores mais gerais em teorias de primeira-ordem
- Verificação de texto manuscrito em dispositivos móveis
- A Machine-Verified Theory of commuting strategies for product-line reliability analysis
- Trace-diagnostic for signal temporal properties : an evolutionary approach