Miriam García Soto


AuthID: R-00J-VPA

Publicações Confirmadas: 14



11
TÍTULO: AVERIST: An Algorithmic Verifier for Stability
AUTORES: Prabhakar, P; Soto, MG ;
PUBLICAÇÃO: 2015, FONTE: ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, VOLUME: 317
INDEXADO EM: Scopus WOS CrossRef: 5
NO MEU: ORCID
12
TÍTULO: Foundations of quantitative predicate abstraction for stability analysis of hybrid systems
AUTORES: Prabhakar, P; Soto, MG ;
PUBLICAÇÃO: 2015, FONTE: 16th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2015 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 8931
INDEXADO EM: Scopus CrossRef: 2
NO MEU: ORCID
13
TÍTULO: An algorithmic approach to stability verification of polyhedral switched systems  Full Text
AUTORES: Prabhakar, P; Soto, MG ;
PUBLICAÇÃO: 2014, FONTE: 2014 American Control Conference, ACC 2014 in Proceedings of the American Control Conference
INDEXADO EM: Scopus CrossRef: 7
NO MEU: ORCID
14
TÍTULO: Abstraction based model-checking of stability of hybrid systems
AUTORES: Prabhakar, P; Garcia Soto, M ;
PUBLICAÇÃO: 2013, FONTE: 25th International Conference on Computer Aided Verification, CAV 2013 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 8044 LNCS
INDEXADO EM: Scopus CrossRef: 15
NO MEU: ORCID
Página 2 de 2. Total de resultados: 14.

Um espaço para investigadores e suas Instituições

Links Úteis

Ajuda

© 2024 CRACS & Inesc TEC - All Rights Reserved Política de Privacidade | Terms of Service