Recherche avancée | Historique de recherche Mon DI-fusion | À propos de DI-fusion | Contact |

Citer

Dynamic Exploration of Multi-agent Systems with Periodic Timed Tasks

par Arcile, Johan ;Devillers, Raymond

;Klaudel, Hanna
Référence Fundamenta informaticae, 175, 1-4, page (59-95)
Publication Publié, 2020-08-01

Article révisé par les pairs

Documents en relation

DI-fusion

Synthesis of Pure and Impure Petri Nets with Restricted Place-environments: Complexity Issues
par Devillers, Raymond , Tredup, Ronny
Publication 2022-08-01
Some Basic Techniques Allowing Petri Net Synthesis: Complexity and Algorithmic Issues
par Devillers, Raymond , Tredup, Ronny
Publication 2022-08-01
Models for the dynamic exploration of the state spaces of autonomous vehicles
par Arcile, Johan , Devillers, Raymond , Klaudel, Hanna
Publication 2020-08-01
VerifCar: A framework for modeling and model checking communicating autonomous vehicles
par Arcile, Johan , Devillers, Raymond , Klaudel, Hanna
Publication 2020-08-01
Synthesis of Inhibitor-Reset Petri Nets: Algorithmic and Complexity Issues
par Devillers, Raymond , Tredup, Ronny
Publication 2022-12-01

Référencement	Visibilité	Pérennité	Facilité
Les publications encodées constituent la bibliographie académique de l'Université.	Les documents déposés sont indexés par les moteurs de recherche (Google Scholar,…).	Les documents déposés en open-access sont archivés au sein du réseau de préservation SAFE-PLN (www.safepln.org).	Les listes de publications sont compatibles avec le CV-ULB, le FNRS et accessibles sur le web.

Conditions d'utilisation - Version : 4.1 (2019)

Exporter la liste de :

Loading scholar E-mail ...

Export bibliographie

Format de fichier :

Depuis :

Jusqu'à :

Inclure les références sans date :

Trier par :

Rôles :

Inclure les liens vers le texte intégral :

Oui (Non est la valeur par défaut)

Inclure l'abstract:

Oui (Non est la valeur par défaut)

Afficher l'ORCID iD:

Oui (Non est la valeur par défaut)