拉多斯拉夫·伊万诺夫；泰勒·J·卡彭特。；詹姆斯·韦默；拉杰夫·阿鲁尔；乔治·帕帕斯。；李因苏普 案例研究：使用神经网络控制器验证自动赛车的安全性。 （英语） Zbl 07300869号 第23届ACM混合系统国际会议论文集：计算与控制，HSCC 2020，澳大利亚悉尼，虚拟，2020年4月21日至24日。纽约州纽约市：计算机协会（ACM）。第28条，第7页（2020年）。MSC公司：65年第68季度 第68季度第60季度 93立方 PDF格式BibTeX公司 XML格式引用 \textit{R.Ivanov}等人，in：第23届ACM混合系统国际会议论文集：计算与控制，HSCC 2020，澳大利亚悉尼与虚拟，2020年4月21日至24日。纽约州纽约市：计算机协会（ACM）。第28条，第7页（2020；Zbl 07300869） 全文： 内政部 arXiv公司
拉多斯拉夫·伊万诺夫；詹姆斯·韦默；拉杰夫·阿鲁尔；乔治·帕帕斯。；李因苏普 验证：使用神经网络控制器验证混合系统的安全特性。 （英语） Zbl 07120152号 第22届ACM混合系统国际会议论文集：计算与控制，HSCC 2019，加拿大魁北克省蒙特利尔，2019年4月16日至18日。纽约州纽约市：计算机协会（ACM）。169-178 (2019).MSC公司：65年第68季度 第68季度第60季度 93立方 PDF格式BibTeX公司 XML格式引用 \textit{R.Ivanov}et al.，in：第22届ACM混合系统国际会议论文集：计算与控制，HSCC 2019，蒙特利尔，魁北克，加拿大，2019年4月16-18日。纽约州纽约市：计算机协会（ACM）。169-178（2019年；Zbl 07120152） 全文： 内政部 arXiv公司
拉杰夫·阿鲁尔；阿舒托什·特里维迪；多米尼克·沃伊特扎克 恒速多模系统的最优调度。 （英语） Zbl 1361.93020号 第15届ACM混合系统国际会议论文集：计算与控制，2012年HSCC，中国北京，2012年4月17日至19日。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-1220-2）。75-84 (2012).MSC公司：93立方 2017年第68季度 65年第68季度 90B35型 PDF格式BibTeX公司 XML格式引用 \textit｛R.Alur｝等人，《第15届ACM混合系统国际会议论文集：计算与控制》，HSCC 2012，中国北京，2012年4月17日至19日。纽约州纽约市：计算机协会（ACM）。75-84（2012年；Zbl 1361.93020） 全文： 内政部
拉杰夫·阿鲁尔；桑帕斯·坎南；萨尔瓦多拉托雷 混合自动机中的多面体流。 （英语） Zbl 1073.68038号 形式方法系统。设计。 24，第3期，261-280（2004）.MSC公司：65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Alur}等人，《形式方法系统》。设计。24，第3号，261--280（2004；Zbl 1073.68038） 全文： 内政部
拉杰夫·阿鲁尔；萨尔瓦多拉托雷；乔治·帕帕斯。 加权时间自动机中的最优路径。 （英语） Zbl 1068.68080号 西奥。计算。科学。 318，第3期，297-322（2004）.MSC公司：第68季度第60季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Alur}等人，Theor。计算。科学。318，第3号，297--322（2004；Zbl 1068.68080） 全文： 内政部
拉杰夫·阿鲁尔；Thao Dang先生；弗兰乔·伊万契奇 基于谓词抽象的混合系统可达性分析。 （英语） Zbl 1044.93517号 Tomlin，Claire J.（编辑）等人，《混合系统：计算和控制》。2002年3月25日至27日，美国加利福尼亚州斯坦福市，2002年HSCC第五次国际研讨会。诉讼程序。柏林：施普林格出版社（ISBN 3-540-43321-X）。莱克特。票据计算。科学。2289, 35-48 (2002).MSC公司：93立方 93个B03 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Alur}等人，Lect。票据计算。科学。2289、35-48（2002年；Zbl 1044.93517） 全文： 链接
拉杰夫·阿鲁尔；桑帕斯·坎南；萨尔瓦多拉托雷 混合自动机中的多面体流。 （英语） Zbl 0924.93016号 Vaandrager，Frits W.（编辑）等人，《混合系统：计算与控制》。第二届国际研讨会，HSCC’99。Berg en Dal，荷兰，1999年3月29日至31日。诉讼程序。柏林：斯普林格。莱克特。票据计算。科学。1569, 5-18 (1999). 审核人：B.F.Šmarda（布尔诺） MSC公司：93立方 93C85号 PDF格式BibTeX公司 XML格式引用 \textit{R.Alur}等人，Lect。票据计算。科学。1569年5月18日（1999年；Zbl 0924.93016）
阿鲁尔，R。；库库贝蒂斯，C。；北卡罗来纳州Halbwachs。；亨廷格，T.A。；Ho、P.-H、。 混合系统的算法分析。 （英语） Zbl 0874.68206号 西奥。计算。科学。 138，第1期，第3-34页（1995年）.MSC公司：65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Alur}等人，Theor。计算。科学。138，第1号，第3--34号（1995；Zbl 0874.68206） 全文： 内政部
阿鲁尔，R。；库库贝蒂斯，C。；亨廷格，T。；何，P。；尼克林，X。；奥利维罗，A。；西法基斯，J。；尤文，S。 混合系统的算法分析。 （英语） Zbl 0823.68067号 Cohen，Guy（编辑）等人，第11届系统分析和优化国际会议：离散事件系统。索菲亚·安蒂波利斯，法国，1994年6月15日至17日。柏林：Springer-Verlag。莱克特。票据控制信息科学。199, 331-351 (1994).MSC公司：65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Alur}等人，Lect。票据控制信息科学。199、331--351（1994；Zbl 0823.68067）