Skip to main navigation
Skip to search
Skip to main content
the Research Portal - University of Namur Home
English
Français
Home
Profiles
Research units
Projects
Research output
Student theses
Equipment
Datasets
Prizes
Activities
Press/Media
Search by expertise, name or affiliation
Alternating-time logic with imperfect recall
P.-Y. Schobbens
Faculty of Computer Science
Research output
:
Contribution to journal
›
Article
›
peer-review
Overview
Fingerprint
Fingerprint
Dive into the research topics of 'Alternating-time logic with imperfect recall'. Together they form a unique fingerprint.
Sort by
Weight
Alphabetically
Computer Science
Models
100%
Complexity
100%
Temporal Logic
100%
Model Checking Problem
100%
Social Sciences
Time
100%
Logic
100%
Problem
50%
Information
50%
Compromise
50%
Neuroscience
Checking
100%