Name
Playground
About
FAQ
GitHub
Playground
Shortest Path Finder
Community Detector
Connected Papers
Author Trending
Claudia Calabrese
Maria Concetta Palumbo
Jizhou Lai
Djamel Touil
Jhonathan Pinzon
Hongyan Wei
Giovanni Venturelli
Chen Ma
Radu Timofte
Kuanrui Yin
Home
/
Author
/
MATTHEW CLARK
Author Info
Open Visualization
Name
Affiliation
Papers
MATTHEW CLARK
Air Force Res Lab, Wright Patterson AFB, OH 45433 USA
9
Collaborators
Citations
PageRank
28
14
3.53
Referers
Referees
References
60
118
54
Search Limit
100
118
Publications (9 rows)
Collaborators (28 rows)
Referers (60 rows)
Referees (100 rows)
Title
Citations
PageRank
Year
Framework for Mining Hybrid Automata from a Constrained Machine Learning Architecture
0
0.34
2020
Integration Of Quantifier Eliminator With Model Checker And Compositional Reasoner
0
0.34
2018
A Component-Based Simplex Architecture for High-Assurance Cyber-Physical Systems
1
0.37
2017
Certifiable Trust in Autonomous Systems: Making the Intractable Tangible.
1
0.41
2017
Run-Time Assurance and Formal Methods Analysis Nonlinear System Applied to Nonlinear System Control.
1
0.38
2017
Controller Integrity Monitoring in Adaptive Learning Systems Towards Trusted Autonomy.
1
0.36
2016
Controller verification in adaptive learning systems towards trusted autonomy
2
0.37
2015
Design and analysis of a multistage fuzzy PID controller
0
0.34
2015
Study on the Barriers to the Industrial Adoption of Formal Methods
8
0.62
2013
1