Collaborated with:
M.A.Islam G.Byrne P.L.Jones S.A.Smolka R.Grosu
Talks about:
reachabililti (1) lagrangian (1)
Person: Jacek Cyranka
DBLP: Cyranka:Jacek
Contributed to:
Wrote 1 papers:
- CAV-2017-CyrankaIBJSG
- Lagrangian Reachabililty (JC, MAI, GB, PLJ, SAS, RG), pp. 379–400.