Rajdeep Singh Hundal

Publication Activity (10 Years)

Years Active: 2023-2023
Publications (10 Years): 1

Top Topics

Formal Specification

Linear Temporal Logic

Top Venues

Publications

Jin Song Dong, Kan Jiang, Zhaoyu Liu, Chen Dong, Zhe Hou, Rajdeep Singh Hundal, Jingyu Guo, Yun Lin
Sports Analytics Using Probabilistic Model Checking and Deep Learning. ICECCS (2023)