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

Achievements

Achievement: YOLOAchievement: Pull SharkAchievement: Quickdraw

Achievements

Achievement: YOLOAchievement: 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 SEVIN 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. Koopman_Generator Koopman_Generator Public

    MATLAB 3

  5. Autonomous_RailBot Autonomous_RailBot Public

    C++ 1