达斯，斯潘丹；帕维特拉·普拉巴卡 海报摘要：平面概率分段常微分系统的稳定性分析。 （英语） Zbl 07807962号 第26届ACM混合系统国际会议论文集：计算与控制，HSCC 2023，第16届CPS-IoT周，美国德克萨斯州圣安东尼奥，2023年5月9日至12日。纽约州纽约市：计算机协会（ACM）。第21号论文，第2页（2023年）。MSC公司：65年第68季度 60年第68季度 93立方 PDF格式BibTeX公司 XML格式引用 \textit{S.Das}和\textit{P.Prabhakar}，in：第26届ACM混合系统国际会议论文集：计算和控制，HSCC 2023，第16届CPS-IoT周的一部分，美国德克萨斯州圣安东尼奥，2023年5月9日至12日。纽约州纽约市：计算机协会（ACM）。第21号论文，第2页（2023；Zbl 07807962） 全文： 内政部
尼玛·鲁希；帕维特拉·普拉巴卡；马赫什·维斯瓦纳坦 混合自动机的相关句法和语义扰动。 （英语） Zbl 1520.68066号 Schewe，Sven（编辑）等人，第29届并发理论国际会议。CONCUR 2018，中国北京，2018年9月4-7日。诉讼程序。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。118，第26条，第16页（2018年）。MSC公司：65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{N.Roohi}等人，LIPIcs——莱布尼茨国际程序。通知。118，第26条，第16页（2018；Zbl 1520.68066） 全文： 内政部
尼玛·鲁希；帕维特拉·普拉巴卡；马赫什·维斯瓦纳坦 时钟漂移下时间自动机的鲁棒模型检验。 （英语） Zbl 1366.68152号 2017年4月18日至20日，美国宾夕法尼亚州匹兹堡，2017年HSCC，第20届ACM混合系统国际会议论文集：计算与控制。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-4590-3）。153-162 (2017).MSC公司：65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{N.Roohi}等人，《第20届ACM混合系统国际会议论文集：计算与控制》，HSCC 2017，匹兹堡，宾夕法尼亚州，美国，2017年4月18-20日。纽约州纽约市：计算机协会（ACM）。153-162（2017年；Zbl 1366.68152） 全文： 内政部
尼玛·鲁希；帕维特拉·普拉巴卡；马赫什·维斯瓦纳坦 用于具有仿射动力学的混合自动机的基于混合的CEGAR。 （英语） Zbl 1420.68138号 Chechik，Marsha（编辑）等人，《系统构建和分析的工具和算法》。2016年4月2日至8日在荷兰埃因霍温举行的第22届国际会议TACAS 2016，是欧洲软件理论与实践联合会议ETAPS 2016的一部分。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。9636, 752-769 (2016).MSC公司：60年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{N.Roohi}等人，Lect。注释计算。科学。9636752--769（2016；Zbl 1420.68138） 全文： 内政部
帕维特拉·普拉巴卡；帕拉萨拉·斯里达尔·达吉拉拉；萨扬·密特拉；马赫什·维斯瓦纳坦 矩形混合系统的基于混合自动机的CEGAR。 （英语） Zbl 1341.68109号 形式方法系统。设计。 46，第2期，105-134（2015）.MSC公司：65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.Prabhakar}等人，《形式方法系统》。设计。46，No.2，105--134（2015；Zbl 1341.68109） 全文： 内政部
帕维特拉·普拉巴卡；弗拉基米罗；马赫什·维斯瓦纳坦；盖尔·杜勒鲁 一类可判定的平面线性混合系统。 （英语） Zbl 1318.68112号 西奥。计算。科学。 574, 1-17 (2015).MSC公司：65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.Prabhakar}等人，Theor。计算。科学。574，1-17（2015；Zbl 1318.68112） 全文： 内政部
帕维特拉·普拉巴卡；马赫什·维斯瓦纳坦 关于混合系统稳定性的可判定性。 （英语） Zbl 1362.68180号 2013年4月8日至11日，美国宾夕法尼亚州费城，2013年HSCC，第16届ACM混合系统国际会议论文集：计算与控制。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-1567-8）。53-62 (2013).MSC公司：60年第68季度 65年第68季度 93立方 93D05型 93D20型 PDF格式BibTeX公司 XML格式引用 \textit｛P.Prabhakar｝和\textit｛M.Viswanathan｝，载于：第16届ACM混合系统国际会议论文集：计算与控制，HSCC 2013，美国宾夕法尼亚州费城，2013年4月8日至11日。纽约州纽约市：计算机协会（ACM）。53-62（2013；Zbl 1362.68180） 全文： 内政部
帕维特拉·普拉巴卡；帕拉萨拉·斯里达尔·达吉拉拉；萨扬·密特拉；马赫什·维斯瓦纳坦 矩形混合系统的基于混合自动机的CEGAR。 （英语） Zbl 1426.68175号 Giacobazzi，Roberto（编辑）等人，《验证、模型检查和抽象解释》。第14届国际会议，2013年VMCAI，意大利罗马，2013年1月20日至22日。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。7737, 48-67 (2013).MSC公司：60年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.Prabhakar}等人，Lect。注释计算。科学。7737、48-67（2013年；Zbl 1426.68175） 全文： 内政部
弗拉基米罗；帕维特拉·普拉巴卡；马赫什·维斯瓦纳坦；盖尔·杜勒鲁 有界离散视界混合自动机的验证。 （英语） Zbl 1369.68255号 IEEE传输。自动。控制 57，第6期，1445-1455（2012）.MSC公司：65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{V.Vladimerou}等人，IEEE Trans。自动。控制57，No.6，1445--1455（2012；Zbl 1369.68255） 全文： 内政部
弗拉基米罗；帕维特拉·普拉巴卡；马赫什·维斯瓦纳坦；盖尔·杜勒鲁 可判定混合游戏规范。 （英语） Zbl 1229.93104号 西奥。计算。科学。 412，第48号，6770-6785（2011）.MSC公司：93立方 91A80型 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{V.Vladimerou}等人，Theor。计算。科学。412，第48号，6770--6785（2011；Zbl 1229.93104） 全文： 内政部
罗希特·查达；Legay、Axel；帕维特拉·普拉巴卡；马赫什·维斯瓦纳坦 实时软件验证的复杂性界限。 （英语） Zbl 1273.68223号 Barthe，Gilles（编辑）等人，《验证、模型检验和抽象解释》。第11届国际会议，2010年VMCAI，西班牙马德里，2010年1月17日至19日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-11318-5/pbk）。计算机科学课堂讲稿594495-111（2010）。MSC公司：60年第68季度 65年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Chadha}等人，Lect。注释计算。科学。5944，95-111（2010；Zbl 1273.68223） 全文： 内政部 链接
Fabrice骑士；迪帕克·D’Souza；帕维特拉·普拉巴卡 关于具有输入决定保护的连续时间自动机。 （英语） Zbl 1177.68136号 Arun-Kumar，S.（编辑）等人，FSTTCS 2006：软件技术和理论计算机科学基础。第26届国际会议，印度加尔各答，2006年12月13日至15日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-49994-7/pbk）。计算机科学课堂讲稿4337，369-380（2006）。MSC公司：65年第68季度 03B44号 05年3月 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{F.Chevalier}等人，Lect。注释计算。科学。4337、369--380（2006年；Zbl 1177.68136） 全文： 内政部