Collaborated with:G.E.Fainekos Adel Dokhanchi B.Hoxha Cumhur Erkan Tuncali Theodore P. Pavlic Logan Mathesen G.Pedrielli Georgios Fainekos
Talks about:falsif (2) optim (2) uncertainti (1) stochast (1) gradient (1) function (1) vacuiti (1) restart (1) respons (1) request (1)
Person: Shakiba Yaghoubi
DBLP: Yaghoubi:Shakiba
Contributed to:
20172019Wrote 3 papers:
- CASE-2017-DokhanchiYHF #specification
- Vacuity aware falsification for MTL request-response specifications (AD, SY, BH, GEF), pp. 1332–1337.
- CASE-2017-TuncaliYPF #automation #functional #generative #optimisation #testing
- Functional gradient descent optimization for automatic test case generation for vehicle controllers (CET, SY, TPP, GEF), pp. 1059–1064.
- CASE-2019-MathesenYPF #adaptation #cyber-physical #nondeterminism #optimisation #probability #quantifier #robust
- Falsification of Cyber-Physical Systems with Robustness Uncertainty Quantification Through Stochastic optimization with Adaptive Restart (LM, SY, GP, GF), pp. 991–997.