Skip to content
@sysulic

SYSU LIC Group

Logic, Intelligence and Computation Group at Sun Yat-sen University

Pinned Loading

  1. MEPK MEPK Public

    A General Multi-agent Epistemic Planner Based on Higher-order Belief Change

    PDDL 10 5

Repositories

Showing 10 of 31 repositories
  • NADA Public
    sysulic/NADA’s past year of commit activity
    Python 0 0 0 0 Updated Apr 11, 2025
  • ABS Public
    sysulic/ABS’s past year of commit activity
    C++ 1 1 0 0 Updated Feb 23, 2025
  • MEPK Public

    A General Multi-agent Epistemic Planner Based on Higher-order Belief Change

    sysulic/MEPK’s past year of commit activity
    PDDL 10 5 0 0 Updated Feb 20, 2025
  • VSCNet Public

    Learning to SAT-verifiably Check LTL Satisfiability via Differentiable Trace Checking

    sysulic/VSCNet’s past year of commit activity
    Python 0 0 0 0 Updated Jul 7, 2024
  • QPEN Public
    sysulic/QPEN’s past year of commit activity
    Python 1 Apache-2.0 2 1 0 Updated May 25, 2024
  • OSUG Public

    The code for ##SAT-verifiable LTL Satisfiability Checking via Graph Representation Learning##

    sysulic/OSUG’s past year of commit activity
    Python 0 0 0 0 Updated May 17, 2024
  • LOGION-SWLS-TBC-LISF Public

    Implementation code for paper “Goal-conflict Identification Based on Local Search and Fast Boundary-condition Verification Based on Incremental Satisfiability Filter” in JSS

    sysulic/LOGION-SWLS-TBC-LISF’s past year of commit activity
    Java 0 0 0 0 Updated Apr 6, 2024
  • ITG Public

    Project of ITG: Trace Generation via Iterative Interaction between LLM Query and Trace Checking

    sysulic/ITG’s past year of commit activity
    Python 1 0 0 0 Updated Nov 27, 2023
  • AVS Public

    Automatic Verification for Soundness of Bounded QNP Abstractions for Generalized Planning

    sysulic/AVS’s past year of commit activity
    Python 3 MIT 1 0 0 Updated Nov 19, 2023
  • EPK Public

    A complete epistemic planner without the epistemic closed world assumption

    sysulic/EPK’s past year of commit activity
    C++ 3 2 1 0 Updated May 25, 2023
View all repositories

People

This organization has no public members. You must be a member to see who’s a part of this organization.

Top languages

Loading…

Most used topics

Loading…