Français Anglais
Accueil Annuaire Plan du site
Accueil > Evenements > Séminaires
Séminaire d'équipe(s) VALS
Deciding ATL* by Tableaux
Amélie DAVID

10 April 2015, 10h00 - 10 April 2015, 11h30
Salle/Bat : 435/PCRI-N
Contact :

Activités de recherche : Démonstration automatique, SMT et applications

Résumé :
Tableau methods are used to decide the satisfiability of a given
formula. We will present our tableau method for the full
Alternating-time Temporal Logic, also called ATL*.
ATL (and its extensions) is a natural framework to describe open
systems, that is systems interacting with their environment.
Components of the system as
well as its environment are represented by means of a game where
players or coalitions of players must find a strategy to reach their
goal.
In this presentation, we will briefly describe the syntax and the
semantics of ATL*, give the general structure of the method and focus
on the particularities needed to treat ATL*. Finally, we will present
the implementation of this tableau method corresponding to the tool
that can be found at :
http://atila.ibisc.univ-evry.fr/tableau_ATL_star/

Pour en savoir plus : https://www.ibisc.univ-evry.fr/~adavid/
Séminaires
Some recent results on the integer linear programm
Théorie des graphes
Friday 30 November 2018 - 00h00
Salle : 445 - PCRI-N
Hung Nguyen .............................................

Maximum Independent Set in H-free graphs
Théorie des graphes
Friday 05 October 2018 - 14h30
Salle : 445 - PCRI-N
Edouard BONNET .............................................

A Family of Tractable Graph Distances
Gestion de données du Web
Wednesday 04 July 2018 - 10h30
Salle : 465 - PCRI-N
Stratis Ioannidis .............................................

Binary pattern of length greater than 14 are abeli
Combinatoire
Friday 29 June 2018 - 14h30
Salle : 445 - PCRI-N
Matthieu Rosenfeld .............................................

Distributionally Robust Optimization with Principa
Optimisation combinatoire et stochastique
Friday 29 June 2018 - 11h00
Salle : 455 - PCRI-N
Dr. Jianqiang Cheng .............................................