Matt Griffin
Orcid: 0000-0003-2703-0368
According to our database1,
Matt Griffin
authored at least 4 papers
between 2006 and 2022.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2022
Proceedings of the 8th ACM SIGPLAN International Workshop on Formal Techniques for Safety-Critical Systems, 2022
2021
Proceedings of the Formal Methods - 24th International Symposium, 2021
2016
A Case Study: Analyzing City Vitality with Four Pillars of Activity - <i>Live</i>, <i>Work</i>, <i>Shop</i>, and <i>Play</i>.
Big Data, 2016
2006
Design and analysis of a framework for real-time vision-based SLAM using Rao-Blackwellised particle filters.
Proceedings of the Third Canadian Conference on Computer and Robot Vision (CRV 2006), 2006