Search Results for author:
Found 2 papers, 0 papers with code
GRAVITAS: A Model Checking Based Planning and Goal Reasoning Framework for Autonomous Systems
We follow the "verification as planning" paradigm and propose to use model checking techniques to solve planning and goal reasoning problems for autonomous systems.
Building Diversified Multiple Trees for Classification in High Dimensional Noisy Biomedical Data
It is common that a trained classification model is applied to the operating data that is deviated from the training data because of noise.
Cannot find the paper you are looking for? You can
Submit a new open access paper.
