Filter your results
- 9
- 2
- 6
- 4
- 1
- 11
- 2
- 2
- 6
- 1
- 10
- 1
- 11
- 11
- 3
- 2
- 2
- 7
- 5
- 4
- 4
- 4
- 2
- 2
- 1
|
|
sorted by
|
|
Predicting Traffic Load in Public Transportation Networks2016 American Control Conference, Jul 2016, Boston, United States
Conference papers
hal-01329632v1
|
||
|
Statistical Model-Checking for Autonomous Vehicle Safety ValidationConference SIA Simulation Numérique, Société des Ingénieurs de l'Automobile, Mar 2017, Montigny-le-Bretonneux, France
Conference papers
hal-01491064v1
|
||
|
Integrating Simulink Models into the Model Checker Cosmos39th International Conference on Applications and Theory of Petri Nets and Concurrency, Jun 2018, Bratislava, Slovakia. pp.363-373, ⟨10.1007/978-3-319-91268-4_19⟩
Conference papers
hal-01916467v1
|
||
|
Predicting traffic load in public transportation networks2016
Preprints, Working Papers, ...
hal-01286476v2
|
||
|
Decoupling Passenger Flows for Improved Load Prediction2016
Preprints, Working Papers, ...
hal-01294498v1
|
||
A Hybrid-Dynamical Model for Passenger-flow in Transportation Systems5th IFAC Conference on Analysis and Design of Hybrid Systems (ADHS'15), 2015, Atlanta, Georgia, United States
Conference papers
hal-01242903v1
|
|||
|
Une sémantique formelle pour les modèles SimulinkÉcole d'été Temps Réel 2017, Aug 2017, Paris, France
Conference papers
hal-01578297v1
|
||
|
Integrating Simulink Models into the Model Checker Cosmos[Research Report] LSV, ENS Cachan, CNRS, INRIA, Université Paris-Saclay, Cachan (France); LIP6, Sorbonne Université, CNRS, UMR 7606; LACL, Université Paris-Est. 2018
Reports
hal-01725835v1
|
||
|
Decoupling Passenger Flows for Improved Load Prediction13th International Conference on Quantitative Evaluation of SysTems (QEST 2016) , Aug 2016, Québec City, Canada
Conference papers
hal-01330136v1
|
||
|
A Passenger-centric Multi-agent System Model for Multimodal Public Transportation2016
Preprints, Working Papers, ...
hal-01322956v1
|
||
|
Forecasting Passenger Loads in Transportation Networks2016
Preprints, Working Papers, ...
hal-01259585v2
|