Bryan Tong Minh

According to our database1, Bryan Tong Minh authored at least 2 papers in 2018.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2018
Temporal Logic Falsification of Cyber-Physical Systems: An Input-Signal-Space Optimization Approach.
Proceedings of the 2018 IEEE International Conference on Software Testing, 2018

Dynamic Control Points and Independent Time Domains for Temporal Logic Falsification.
Proceedings of the 3rd Workshop on Monitoring and Testing of Cyber-Physical Systems, 2018


  Loading...