Filtrer vos résultats
- 9
- 7
- 10
- 3
- 1
- 1
- 1
- 16
- 1
- 3
- 3
- 3
- 1
- 2
- 2
- 1
- 15
- 1
- 8
- 6
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 16
- 13
- 7
- 3
- 3
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
16 résultats
|
|
triés par
|
|
Models for the dynamic exploration of the state spaces of autonomous vehicles.17th International Workshop on Petri Nets and Software Engineering (PNSE 2020), Jun 2020, Paris, France. pp.29--48
Communication dans un congrès
hal-02887014v1
|
||
|
Modeling and checking robustness of communicating autonomous vehicles14th International Symposium on Distributed Computing and Artificial Intelligence (DCAI 2017), Jun 2017, Porto, Portugal. pp.173--180, ⟨10.1007/978-3-319-62410-5_21⟩
Communication dans un congrès
hal-01567627v1
|
||
|
VerifCar: a framework for modeling and model checking communicating autonomous vehiclesAutonomous Agents and Multi-Agent Systems, 2019, 33 (3), pp.353--381. ⟨10.1007/s10458-019-09409-x⟩
Article dans une revue
hal-02133680v1
|
||
|
Indefinite waitings in MIRELA systems4th International Workshop on Engineering Safety and Security Systems (ESSS 2015), Jun 2015, Oslo, Norway. pp.5--18, ⟨10.4204/EPTCS.184.1⟩
Communication dans un congrès
hal-01230054v1
|
||
|
Modelling and Analysing Mixed Reality Applications4th International Conference on Man–Machine Interactions (ICMMI 2015), Oct 2015, Kocierz Pass, Poland. pp.3--17, ⟨10.1007/978-3-319-23437-3_1⟩
Communication dans un congrès
hal-01230033v1
|
||
|
Modeling and checking robustness of communicating autonomous vehiclesS. Omatu, S. Rodriguez, G. Villarrubia, P. Faria, P. Sitek, J. Prieto. Distributed Computing and Artificial Intelligence, 14th International Conference, 620, Springer, pp.173-180, 2018, Advances in Intelligent Systems and Computing, 978-3-319-62409-9. ⟨10.1007/978-3-319-62410-5_21⟩
Chapitre d'ouvrage
hal-02920656v1
|
||
Dynamic exploration of multi-agent systems with periodic timed tasksFundamenta Informaticae, 2020, 175 (1-4), pp.59--95. ⟨10.3233/FI-2020-1948⟩
Article dans une revue
hal-02886945v1
|
|||
Factorization of the State Space Construction for Cyclic Systems with Data16th International Conference on Verification and Evaluation of Computer and Communication Systems (VECoS 2023), Oct 2023, Marakech, Morocco. pp.1-14, ⟨10.1007/978-3-031-49737-7_1⟩
Communication dans un congrès
hal-04377291v1
|
|||
An Efficient State Space Construction for a Class of Timed Automata43rd International Conference on Application and Theory of Petri Nets and Concurrency (Petri Nets 2022), Jun 2022, Bergen, Norway. pp.246--263, ⟨10.1007/978-3-662-68191-6_10⟩
Communication dans un congrès
hal-04307762v1
|
|||
|
Combination of simulation and model-checking for the analysis of autonomous vehicles’ behaviors: A case study15th European Conference on Multi-Agent Systems (EUMAS 2017) and the 5th International Conference on Agreement Technologies (AT 2017), Dec 2017, Evry, France. pp.292--304, ⟨10.1007/978-3-030-01713-2_21⟩
Communication dans un congrès
hal-01918518v1
|
||
|
Deadlock and temporal properties analysis in mixed reality applications25th IEEE International Symposium on Software Reliability Engineering (ISSRE 2014), Nov 2014, Naples, Italy. pp.55--65, ⟨10.1109/ISSRE.2014.33⟩
Communication dans un congrès
hal-01150615v1
|
||
|
VERIFCAR: A Framework for Modeling and Model checking Communicating Autonomous Vehicles19th International Conference on Autonomous Agents and Multi-Agent Systems (AAMAS 2020), May 2020, Auckland, New Zealand. pp.2126-2127, ⟨10.1007/s10458-019-09409-x⟩
Communication dans un congrès
hal-02886856v1
|
||
|
Conception, modélisation et vérification formelle d’un système temps-réel d’agents coopératifs : application aux véhicules autonomes communicantsCalcul formel [cs.SC]. Université Paris-Saclay, Université d'Evry Val-d'Essonne, 2019. Français. ⟨NNT : 2019SACLE029⟩
Thèse
tel-02480653v1
|
||
|
Dynamic exploration of multi-agent systems with timed periodic tasks2019
Pré-publication, Document de travail
hal-02365415v1
|
||
|
Timed automata as a formalism for expressing security: A survey on theory and practiceACM Computing Surveys, 2022, ⟨10.1145/3534967⟩
Article dans une revue
hal-03690234v1
|
||
|
Zone Extrapolations in Parametric Timed Automata14th NASA Formal Methods Symposium (NFM 2022), Klaus Havelund; Jyo Deshmukh; Ivan Perez, May 2022, Caltech, Pasadena, United States. pp.451-469, ⟨10.1007/978-3-031-06773-0_24⟩
Communication dans un congrès
hal-03690070v1
|