Publicações

Dynamic Doxastic Differential Dynamic Logic for Belief-Aware Cyber-Physical Systems

AuthID
P-012-MF5

Author(s)

Martins J.G.

Platzer A.

Leite J.

Tipo de Documento

Proceedings Paper

Year published

2019

Publicado

in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), ISSN: 03029743

Volume: 11714 LNAI, Páginas: 428-445 (17)

Indexing

Scopus^®

Crossref^®1

Google Scholar^®

Metadata
Fontes

Publication Identifiers

DOI: 10.1007/978-3-030-29026-9_24

SCOPUS: 2-s2.0-85072867263

Source Identifiers

ISSN: 03029743

Export Publication Metadata

Lista Marked

Adicionar à lista Marked

Info

At this moment we don't have any links to full text documens.

Dynamic Doxastic Differential Dynamic Logic for Belief-Aware Cyber-Physical Systems

Links Úteis

Ajuda

Autenticação Federada (Clique na imagem)

Dynamic Doxastic Differential Dynamic Logic for Belief-Aware Cyber-Physical Systems

Links Úteis

Ajuda