Autor
Cargando información...
Fundadores:
Producto desarrollado por:
@colav
Contacto
ImpactU:
Acerca de ImpactU
Manual de usuario
Código Abierto
Datos Abiertos
Apidocs
Estadísticas de uso
Indicadores de Cooperación
Información:
ImpactU Versión 3.10.0
Última actualización:
Interfaz de Usuario: 26/06/2025
Base de Datos: 26/06/2025
Hecho en Colombia
Enrico Marchioni
Universidad de Southampton
Perfil externo:
Citaciones:
27
Productos:
1
Filtros
Investigación
Cooperación
Productos
Patentes
Proyectos
Noticias
i
Coautorías según país de afiliación
Cargando información...
i
Evolución anual según la clasificación del ScienTI (Top 20)
Cargando información...
1 Producto
Más citado
CSV
API
Rational Verification: From Model Checking to Equilibrium Checking
Acceso Abierto
Fuente: Proceedings of the AAAI Conference on Artificial Intelligence
Michael Wooldridge
Julian Gutierrez
Bernhard Paul Harrenstein
Enrico Marchioni
Giuseppe Perelli
Alexis Toumi
Temas:
Model checking
Computer science
Formal verification
Key (lock)
Temporal logic
Formal methods
Computation
Computation tree logic
Work (physics)
Rational planning model
Software verification
Theoretical computer science
Software
Software engineering
Programming language
Software system
Computer security
Engineering
Software construction
Mechanical engineering
Civil engineering
Publicado: 2016
Citaciones:
27
Altmétricas:
0
Artículo de revista
1
NaN
