Corey Fisher

According to our database, Corey Fisher authored at least 1 paper in 2017.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2017

Random Models for Evaluating Efficient Büchi Universality Checking.

Corey Fisher, Seth Fogarty, Moshe Y. Vardi

Proceedings of the Logic and Its Applications - 7th Indian Conference, 2017