VerifCar: a framework for modeling and model checking communicating autonomous vehicles

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

;Klaudel, Hanna
Référence Autonomous agents and multi-agent systems, 33, 3, page (353-381)
Publication Publié, 2019-05-01

Article révisé par les pairs

Fichier(s) déposé(s) par l'encodeur

VerifCar: A framework for modeling and model checking communicating autonomous vehicles
par Arcile, Johan , Devillers, Raymond , Klaudel, Hanna
Publication 2020-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
Dynamic Exploration of Multi-agent Systems with Periodic Timed Tasks
par Arcile, Johan , Devillers, Raymond , Klaudel, Hanna
Publication 2020-08-01
Large-Scale Crowd Counting with a Wi-Fi-Based Passive Radar
par Storrer, Laurent , Yildirim, Hasan Can , Willame, Martin , Pocoma Copa, Evert Ismael , Cakoni, Dejvi , Pollin, Sofie , Louveaux, Jérôme , De Doncker, Philippe , Horlin, François
Publication 2024-12-31
Comprendre et évaluer les intelligences artificielles
par Foucart, Adrien
Publication 2023-12-08

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.