卢卡·卡德利；拉杜·格罗苏；金·古德斯特兰·拉森；米尔科·特里巴斯通；Tschaikowski，马克斯；安德烈·范丁 不确定连续时间马尔可夫链的算法最小化。 （英语） Zbl 07795077号 IEEE传输。自动。控制 68，第11期，6557-6572（2023年）.MSC公司：93至XX PDF格式BibTeX公司 XML格式引用 \textit{L.Cardelli}等人，IEEE Trans。自动。控制68，编号11，6557--6572（2023；Zbl 07795077） 全文： 内政部
卢卡·卡德利；拉杜·格罗苏；Larsen，Kim G。；米尔科·特里巴斯通；Tschaikowski，马克斯；安德烈·范丁 不确定连续时间马尔可夫链的集总性。 （英语） Zbl 1492.60219号 阿巴特，亚历山德罗（编辑）等人，《系统的定量评估》。第18届国际会议，QEST 2021，巴黎，法国，2021年8月23日至27日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12846, 391-409 (2021).MSC公司：60J25型 PDF格式BibTeX公司 XML格式引用 \textit{L.Cardelli}等人，Lect。注释计算。科学。12846、391--409（2021；Zbl 1492.60219） 全文： 内政部 链接
拉杜·马达尔；卢卡·卡德利；Larsen，Kim G。 连续马尔科夫逻辑——公理化和量化元理论。 （英语） Zbl 1261.03088号 日志。方法计算。科学。 8，第4号，第19号论文，28页（2012年）.MSC公司：03B45号 60J25型 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Mardare}等人，《日志》。方法计算。科学。8，第4号，第19号论文，28页（2012；Zbl 1261.03088） 全文： 内政部 arXiv公司
卢卡·卡德利；Larsen，Kim G。；拉杜·马达尔 连续马尔科夫逻辑——从完全公理化到公式的度量空间。 （英语） Zbl 1247.03030号 Marc Bezem（编辑），《计算机科学逻辑》（CSL’11）。2011年9月12日至15日，第25届国际研讨会，EACSL第20届年会，挪威卑尔根。Wadern：达格斯图尔宫（Schloss Dagstuhl）——莱布尼茨天顶宫（Leibniz Zentrum für Informatik）（ISBN 978-3-939897-32-3）。LIPIcs–莱布尼茨国际信息学会议录12，144-158，仅电子版（2011年）。MSC公司：03B48号 03B45号 PDF格式BibTeX公司 XML格式引用 \textit{L.Cardelli}等人，LIPIcs——莱布尼茨国际程序。通知。12144-158（2011年；兹bl 1247.03030） 全文： 内政部 链接
卢卡·卡德利；Larsen，Kim G。；拉杜·马达尔 模块化马尔科夫逻辑。 （英语） Zbl 1333.68200号 Aceto，Luca（编辑）等人，《自动化，语言和编程》。2011年7月4日至8日，瑞士苏黎世，第38届国际学术讨论会，ICALP 2011。诉讼，第二部分。柏林：施普林格出版社（ISBN 978-3-642-22011-1/pbk）。计算机科学课堂讲稿6756380-391（2011）。MSC公司：87年第68季度 03B70号 60J25型 PDF格式BibTeX公司 XML格式引用 \textit{L.Cardelli}等人，Lect。注释计算。科学。6756380-391（2011年；Zbl 1333.68200） 全文： 内政部