CGAAL: Wrapping It Up and What Comes Next

27 Apr 2024

In this paper, we present CGAAL, our model checker of alternating-time temporal logic properties in concurrent games.

How We Evaluated CGAAL: The Experiments That We Ran

27 Apr 2024

To evaluate our tool, we run several experiments. In our experiments we compare our global algorithm, our local algorithm using our various search strategies

A Tool Overview of CGAAL: A Distributed On-The-Fly ATL Model Checker

27 Apr 2024

The syntax of the language is inspired by PRISM-lang used by the PRISM model checker to model stochastic multi-player games with rewards.

How CGAAL Model-Checks: A Deeper Insight

27 Apr 2024

In order to check if a CGS satisfies an ATL property, CGAAL encodes the problem as an extended dependency graph and finds a fixed-point assignment

CGAAL: A Distributed On-The-Fly ATL Model Checker: The Definitions You Should Know About

26 Apr 2024

We recall the definitions of concurrent games and alternating-time temporal logic. A computation starting in the state *q* is called a *q-computation.

Introducing CGAAL: A Distributed On-The-Fly ATL Model Checker With Heuristics

26 Apr 2024

We present CGAAL, our efficient on-the-fly model checker for alternating-time temporal logic (ATL) on concurrent game structures (CGS).

Hybrid Meta-Heuristic for Efficient Course Timetabling

23 Apr 2024

Explore a hybrid meta-heuristic for course timetable generation, including instance decomposition and increment procedure that outperforms commercial software.

Instance Decomposition with Fixed Curriculum Increments

23 Apr 2024

Explore the optimization of computational experiments through stopping criteria, instance decomposition with fixed and violations-based curriculum increments.

Breaking Down the Timetable Puzzle: IST's Algorithmic Framework

23 Apr 2024

Explore the algorithmic framework employed by Instituto Superior Técnico (IST) to tackle timetabling challenges.