Gourinath Banda

Publication Activity (10 Years)

Years Active: 2005-2023
Publications (10 Years): 11

Top Topics

Formal Verification

Top Venues

J. Reliab. Intell. Environ.

Intelligent Environments (Workshops)

Publications

Rajeshwar Yadav, Raju Halder, Atul Thakur, Gourinath Banda
A Lightweight Deep Learning-based Weapon Detection Model for Mobile Robots. AIR (2023)
Deepak Prasad, S. Thanikai Adhithiyan, Kondru Thanmai, Gourinath Banda
PAVeDS: A Synthetic Dataset for Developing Autonomous Personal Aerial Vehicles. IEEE Access 11 (2023)
Satyendra R. Nishad, Raju Halder, Gourinath Banda, Atul Thakur
Development of a Lizard-Inspired Wall-Climbing Robot Using Pressure Sensitive Adhesion. IEEE Access 10 (2022)
B. Rushya Sree Reddy, Atche Sravya, Gourinath Banda
Email Validation & Arbitration Framework and Platform based on Blockchain for Legal Matters. ANTS (2021)
Atul Thakur, Raju Halder, Gourinath Banda, Rajarshi Ray, Ansuman Bhattacharya, Satyendra R. Nishad
A Lizard-Inspired Quadruped Robot Based on Pressure Sensitive Adhesion Mechanism for Wall Climbing. AIR (2021)
Kanishkar Jothibasu, Gourinath Banda
HarSaRK-RS: Hard Safe Real-Time Kernel in Rust. Intelligent Environments (Workshops) (2020)
Aaditya Prakash Chouhan, Gourinath Banda
Formal Verification of Heuristic Autonomous Intersection Management Using Statistical Model Checking. Sensors 20 (16) (2020)
Aaditya Prakash Chouhan, Gourinath Banda, Kanishkar Jothibasu
A Cooperative Algorithm for Lane Sorting of Autonomous Vehicles. IEEE Access 8 (2020)
Aaditya Prakash Chouhan, Gourinath Banda
Autonomous Intersection Management: A Heuristic Approach. IEEE Access 6 (2018)
Gourinath Banda, Chaitanya Krishna Bommakanti, Harsh Mohan
One IoT: an IoT protocol and framework for OEMs to make IoT-enabled devices forward compatible. J. Reliab. Intell. Environ. 2 (3) (2016)
Gourinath Banda, Krishna Chaitanya, Harsh Mohan
An IoT Protocol and Framework for OEMs to Make IoT-Enabled Devices forward Compatible. SITIS (2015)
Gourinath Banda, John P. Gallagher
Constraint-Based Abstract Semantics for Temporal Logic: A Direct Approach to Design and Implementation. LPAR (Dakar) (2010)
Gourinath Banda, John P. Gallagher
Analysis of Linear Hybrid Systems in CLP. LOPSTR (2008)
Kim S. Henriksen, Gourinath Banda, John P. Gallagher
Experiments with a Convex Polyhedral Analysis Tool for Logic Programs CoRR (2007)
John P. Gallagher, Kim S. Henriksen, Gourinath Banda
Techniques for Scaling Up Analyses Based on Pre-interpretations. ICLP (2005)