Applications-2020

Articles (4 in this collection)

1. Model-checking precision agriculture logistics: the case of the differential harvest

   Authors (first, second and last of 4)

   • Rim Saddem-yagoubi
   • Olivier Naud
   • Didier Crestani

   • Content type: OriginalPaper
   • Published: 08 May 2020

   • Pages: 579 - 604

   

2. On the computation of counterexamples in compositional nonblocking verification

   Authors

   • Robi Malik
   • Simon Ware

   • Content type: OriginalPaper
   • Published: 26 February 2020

   • Pages: 301 - 334

   

3. Stochastic flow models with delays, blocking and applications to multi-intersection traffic light control

   Authors

   • Rui Chen
   • Christos G. Cassandras

   • Content type: OriginalPaper
   • Published: 30 December 2019

   • Pages: 125 - 153

   

4. A discrete-event and hybrid traffic simulation model based on SimEvents for intelligent transportation system analysis in Mcity

   Authors (first, second and last of 4)

   • Yue Zhang
   • Christos G. Cassandras
   • Pieter J. Mosterman

   • Content type: OriginalPaper
   • Published: 23 July 2019

   • Pages: 265 - 295