25 citations
- Arizona State UniversityUS2 papers
- California Southern UniversityUS1 paper
- Hanoi Open UniversityVN1 paper
- Laboratoire des signaux et systèmesFR1 paper
- Toyota Motor North America Research & Development (United States)US1 paper
- Toyota Motor North America (United States)US1 paper
- University of Southern CaliforniaUS1 paper
3 papers
cs.RO2021★ 25 cited
PerceMon: Online Monitoring for Perception Systems
Anand Balakrishnan, Jyotirmoy Deshmukh, Bardh Hoxha +2
Perception algorithms in autonomous vehicles are vital for the vehicle to understand the semantics of its surroundings, including detection and tracking of objects in the environme…
cs.AI2017★ 1 cited
Representing Hybrid Automata by Action Language Modulo Theories
Joohyung Lee, Nikhil Loney, Yunsong Meng
Both hybrid automata and action languages are formalisms for describing the evolution of dynamic systems. This paper establishes a formal relationship between them. We show how to…
q-bio.QM2006★ 2 cited
Grid enabled virtual screening against malaria
N. Jacq, J. Salzemann, F. Jacq +11
WISDOM is an international initiative to enable a virtual screening pipeline on a grid infrastructure. Its first attempt was to deploy large scale in silico docking on a public gri…