Travelled to:1 × Germany
Collaborated with:Y.Annpureddy G.E.Fainekos S.Sankaranarayanan
Talks about:tempor (1) system (1) hybrid (1) falsif (1) logic (1) tool (1)
Person: Che Liu
DBLP: Liu:Che
Contributed to:
2011Wrote 1 papers:
- TACAS-2011-AnnpureddyLFS #hybrid #logic #named
- S-TaLiRo: A Tool for Temporal Logic Falsification for Hybrid Systems (YA, CL, GEF, SS), pp. 254–257.