CTL*

Top Researchers

H. Harry Asada

Institution: —

Chitta Baral

Institution: —

Hai Lin

Institution: —

Lee‐Ling Sharon Ong

Institution: —

Ji‐Cheng Zhao

Institution: —

Hai Zhu

Institution: —

Debasis Banik

Institution: —

Zhenping Guan

Institution: —

Yinnian Feng

Institution: —

Ellis L. Reinherz

Institution: —

Goal specification in presence of non-deterministic actions

Chitta Baral, Ji‐Cheng Zhao

Citations: 13 • 2004

Verifying CTL* Properties of GOLOG Programs over Local-Effect Actions

Citations: 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

Citations: 8 • 2019

Goal specification, non-determinism and quantifying over policies

Chitta Baral, Ji‐Cheng Zhao

Citations: 7 • 2006

Assume-guarantee cooperative satisfaction of multi-agent systems

Alireza Partovi, Hai Lin

Citations: 3 • 2014