Pranav Ashok
2020
A researcher in the Science corpus: 1 paper; trusts 2 researchers and is trusted by 0 researchers here, as inferred from the citation graph.
Whom Pranav Ashok trusts overall
Their strongest outbound trust, strongest first, inferred from their citations.
Papers from Pranav Ashok's perspective
Ordered by how strongly the researchers Pranav Ashok trusts endorse each paper. Same corpus, a different order for every researcher.
- C4.5: Programs for Machine Learning
- Classification and regression trees
- The Optimality of Naive Bayes (The Florida AI Research Society)
- Verification and Control of Hybrid Systems - A Symbolic Approach
- Formal Methods for Discrete-Time Dynamical Systems
- MetaCost: a general method for making classifiers cost-sensitive
- Nonsmooth Barrier Functions With Applications to Multi-Robot Systems (IEEE Control Systems Letters)
- Control barrier function based quadratic programs with application to adaptive cruise control (IEEE Conference on Decision and Control)
- Barrier Lyapunov Functions for the control of output-constrained nonlinear systems (at - Automatisierungstechnik)
- A Framework for Worst-Case and Stochastic Safety Verification Using Barrier Certificates (IEEE Transactions on Automatic Control)
Their papers
- dtControl: decision tree learning algorithms for controller representation (2020) — 36 citations