Login / Signup
Bryan Tong Minh
Publication Activity (10 Years)
Years Active: 2018-2018
Publications (10 Years): 2
Top Topics
Transition Systems
Verification Method
Temporal Logic
Mazurkiewicz Traces
Top Venues
ICST Workshops
MT@CPSWeek
</>
Publications
</>
Arend Aerts
,
Bryan Tong Minh
,
Mohammad Reza Mousavi
,
Michel A. Reniers
Temporal Logic Falsification of Cyber-Physical Systems: An Input-Signal-Space Optimization Approach.
ICST Workshops
(2018)
Arend Aerts
,
Bryan Tong Minh
,
Mohammad Reza Mousavi
,
Michel A. Reniers
Dynamic Control Points and Independent Time Domains for Temporal Logic Falsification.
MT@CPSWeek
(2018)