Kumar Manas

According to our database, Kumar Manas authored at least 6 papers between 2021 and 2024.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2024

TR2MTL: LLM based framework for Metric Temporal Logic Formalization of Traffic Rules.

Kumar Manas, Stefan Zwicklbauer, Adrian Paschke

Proceedings of the IEEE Intelligent Vehicles Symposium, 2024

2023

Semantic Role Assisted Natural Language Rule Formalization for Intelligent Vehicle.

Kumar Manas, Adrian Paschke

Proceedings of the Rules and Reasoning - 7th International Joint Conference, 2023

Legal Compliance Checking of Autonomous Driving with Formalized Traffic Rule Exceptions.

Kumar Manas, Adrian Paschke

Proceedings of the International Conference on Logic Programming 2023 Workshops co-located with the 39th International Conference on Logic Programming (ICLP 2023), 2023

2022

Robust Traffic Rules and Knowledge Representation for Conflict Resolution in Autonomous Driving.

Kumar Manas, Stefan Zwicklbauer, Adrian Paschke

Proceedings of the 16th International Rule Challenge and 6th Doctoral Consortium @ RuleML+RR 2022 co-located with 18th Reasoning Web Summer School (RW 2022) and 14th DecisionCAMP 2022 as part of Declarative AI 2022, Berlin, Germany (virtual due to Covid-19 pandemic), 26, 2022

Roof Top Solar PV Supported Electric Vehicle Charging System for Home Parking Spaces.

Kumar Manas, Jitendra Gupta, Bhim Singh

Proceedings of the IEEE Industry Applications Society Annual Meeting, 2022

2021

Low Complexity Video Compression for Fixed Focus Cameras.

Kumar Manas, Mohit Jindal, Preety Singh

Proceedings of the 31st Data Compression Conference, 2021