Skip to content
View fracchiariello's full-sized avatar
1 follower · 0 following

Achievements

Achievement: Pull Shark

Achievements

Achievement: Pull Shark

Organizations

@whitemech @aiplan4eu

Block or report fracchiariello

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

Popular repositories Loading

  1. process-mining-ASP process-mining-ASP Public

    Classic ASP 2 1

  2. LTLp2DFA LTLp2DFA Public

    A tool to convert formulae of Linear Temporal Logic on Process Trace into Finite-state Automata

    Jupyter Notebook 2

  3. Goal_Recognition Goal_Recognition Public

    Python 1

  4. Intent_Recognition_with_LTL Intent_Recognition_with_LTL Public

    Python 1

  5. fracchiariello.github.io fracchiariello.github.io Public

    TeX

  6. jelia2025 jelia2025 Public

    Code and data for the JELIA 2025 paper 'Formal Explanations of Black-Box Ranking Functions'

    Jupyter Notebook