Kumar Manas

Publication Activity (10 Years)

Years Active: 2021-2024
Publications (10 Years): 7

Top Topics

Metric Temporal Logic

Video Compression

Semantic Parsing

Top Venues

Publications

Kumar Manas, Stefan Zwicklbauer, Adrian Paschke
TR2MTL: LLM based framework for Metric Temporal Logic Formalization of Traffic Rules. CoRR (2024)
Kumar Manas, Stefan Zwicklbauer, Adrian Paschke
TR2MTL: LLM based framework for Metric Temporal Logic Formalization of Traffic Rules. IV (2024)
Kumar Manas, Adrian Paschke
Semantic Role Assisted Natural Language Rule Formalization for Intelligent Vehicle. RuleML+RR (2023)
Kumar Manas, Adrian Paschke
Legal Compliance Checking of Autonomous Driving with Formalized Traffic Rule Exceptions. ICLP Workshops (2023)
Kumar Manas, Jitendra Gupta, Bhim Singh
Roof Top Solar PV Supported Electric Vehicle Charging System for Home Parking Spaces. IAS (2022)
Kumar Manas, Stefan Zwicklbauer, Adrian Paschke
Robust Traffic Rules and Knowledge Representation for Conflict Resolution in Autonomous Driving. RuleML+RR (Companion) (2022)
Kumar Manas, Mohit Jindal, Preety Singh
Low Complexity Video Compression for Fixed Focus Cameras. DCC (2021)