Pranevicius, Henrikas

• Elektronika ir Elektrotechnika Vol. 23 No. 6 (2017) - AUTOMATION, ROBOTICS
  Utility of Statistical Model Checking of Stochastic Hybrid Automata for Patient Controlled Analgesia
  Abstract  PDF