CTL*
相关论文数: 5
顶级研究者
最高引用论文
Goal specification in presence of non-deterministic actions
Chitta Baral, Ji‐Cheng Zhao
引用数: 13 • 2004
Verifying CTL* Properties of GOLOG Programs over Local-Effect Actions
引用数: 8 • 2014
A Robotic Microscope System to Examine T Cell Receptor Acuity Against Tumor Neoantigens: A New Tool for Cancer Immunotherapy Research
Lee‐Ling Sharon Ong, Hai Zhu, Debasis Banik, Zhenping Guan, Yinnian Feng, Ellis L. Reinherz, Matthew J. Lang, H. Harry Asada
引用数: 8 • 2019
Goal specification, non-determinism and quantifying over policies
Chitta Baral, Ji‐Cheng Zhao
引用数: 7 • 2006
Assume-guarantee cooperative satisfaction of multi-agent systems
Alireza Partovi, Hai Lin
引用数: 3 • 2014