Collaborated with:Cumhur Erkan Tuncali G.E.Fainekos Taeyeong Choi A.W.Richa Shakiba Yaghoubi Joseph Campbell Peng Liu 0026 Ümit Özgüner
Talks about:reconfigur (1) vehicular (1) algorithm (1) synthesi (1) properti (1) gradient (1) function (1) calculus (1) approach (1) scalabl (1)
Person: Theodore P. Pavlic
DBLP: Pavlic:Theodore_P=
Contributed to:
20162017Wrote 3 papers:
- CASE-2016-CampbellTLPOF #approach #concurrent #configuration management #modelling #π-calculus
- Modeling concurrency and reconfiguration in vehicular systems: A π-calculus approach (JC, CET, PL0, TPP, ÜÖ, GEF), pp. 523–530.
- CASE-2017-ChoiPR #algorithm #automation #multi #scalability #synthesis
- Automated synthesis of scalable algorithms for inferring non-local properties to assist in multi-robot teaming (TC, TPP, AWR), pp. 1522–1527.
- 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.