activity
20122020
most citedA subsystems approach for parameter estimation of ODE models of hybrid systems

5 citations · 7 across the 4 of their papers we have counts for

collaborators
Showing eess.SPShow all

1 paper · 1 filter

eess.SP2020

A spatial algorithm for the analysis of transportation systems using statistical model checking

Daniël Reijsbergen, Stephen Gilmore

We present an automated methodology for using Automatic Vehicle Location measurements of public transportation vehicles to construct a probabilistic model. The model not only allow…