Miriam García Soto


AuthID: R-00J-VPA

Confirmed Publications: 14



11
TITLE: AVERIST: An Algorithmic Verifier for Stability
AUTHORS: Prabhakar, P; Soto, MG ;
PUBLISHED: 2015, SOURCE: ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, VOLUME: 317
INDEXED IN: Scopus WOS CrossRef: 5
IN MY: ORCID
12
TITLE: Foundations of quantitative predicate abstraction for stability analysis of hybrid systems
AUTHORS: Prabhakar, P; Soto, MG ;
PUBLISHED: 2015, SOURCE: 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
INDEXED IN: Scopus CrossRef: 2
IN MY: ORCID
13
TITLE: An algorithmic approach to stability verification of polyhedral switched systems  Full Text
AUTHORS: Prabhakar, P; Soto, MG ;
PUBLISHED: 2014, SOURCE: 2014 American Control Conference, ACC 2014 in Proceedings of the American Control Conference
INDEXED IN: Scopus CrossRef: 7
IN MY: ORCID
14
TITLE: Abstraction based model-checking of stability of hybrid systems
AUTHORS: Prabhakar, P; Garcia Soto, M ;
PUBLISHED: 2013, SOURCE: 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
INDEXED IN: Scopus CrossRef: 15
IN MY: ORCID
Page 2 of 2. Total results: 14.

A place for researchers and their institutions

Useful Links

Get Help

© 2024 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service