Skip to content
View aparame's full-sized avatar
💭
seeking internships
💭
seeking internships
3 followers · 5 following

Achievements

Achievement: Pull SharkAchievement: Quickdraw

Achievements

Achievement: Pull SharkAchievement: Quickdraw

Block or report aparame

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Pinned Loading

  1. SEVIN_ICCPS_RE_Package SEVIN_ICCPS_RE_Package Public

    Scalable and Explainable Verification of Image based Neural Network Controllers (ICCPS 2025)

    Python 1

  2. Temporal_Logic_Guided_Robot_Navigation Temporal_Logic_Guided_Robot_Navigation Public

    Signal Temporal Logic guided Safe Navigation for mobile robots (SAE 2023)

    C++ 1

  3. Faster_TLG-RN Faster_TLG-RN Public

    Temporal Logic guided Safe Navigation for Autonomous Vehicles (MECC 2024)

    Python

  4. Terrain_Analysis Terrain_Analysis Public

    Real-Time Terrain Analysis and Control for Off-road Ground Robots (SAE 2025)

    Python 1

  5. Koopman_Generator Koopman_Generator Public

    MATLAB 3

  6. AI_RC_Car AI_RC_Car Public

    Packages for an Arduino controlled autonomous RC car

    MATLAB 2