Skip to content
conftrace_

Mykel Kochenderfer

18 papers · 2011–2026 · 8 venues · across top CS/AI venues

Authors are matched by name, so researchers who share a name ("Yang Liu", "Wei Wang") appear as a single profile and their paper counts, venues and achievements are combined. How identity is handled.

Jump to papers ↓
+7 more ↓ πŸ—ΊοΈ Taxonomy Completionist (37) πŸƒ Academic Marathon Β· Full 🌍 Conference Polyglot Β· Silver πŸŒ‰ Interdisciplinary Bridge Β· Silver 🐣 Hot Topic Early Bird
πŸ“ˆ Trend Setter πŸ—ƒοΈ Keyword Collector (101) 🌈 Renaissance Researcher (7) πŸ”₯ Unstoppable Β· Bronze ⚑ Prolific Year Β· Productive πŸš€ Conference Pioneer πŸ’Ž Century Club Β· Bronze

Papers

Verifying Nonlinear Neural Feedback Systems using Polyhedral Enclosures L4DC 2026 ASTPrompter: Preference-Aligned Automated Language Model Red-Teaming to Generate Low-Perplexity Unsafe Prompts EMNLP 2025 Enter the Mind Palace: Reasoning and Planning for Long-term Active Embodied Question Answering CoRL 2025 Informative Input Design for Dynamic Mode Decomposition L4DC 2025 Self-supervised Multi-future Occupancy Forecasting for Autonomous Driving RSS 2025 Optimality Guarantees for Particle Belief Approximation of POMDPs (Abstract Reprint) IJCAI 2024 Rank2Tell: A Multimodal Driving Dataset for Joint Importance Ranking and Reasoning WACV 2024 SEEK: Semantic Reasoning for Object Goal Navigation in Real World Inspection Tasks RSS 2024 Model-based Validation as Probabilistic Inference L4DC 2023 Interpretable Self-Aware Neural Networks for Robust Trajectory Prediction CoRL 2022 Optimal Pointing Sequences in Spacecraft Formation Flying Using Online Planning with Resource Constraints L4DC 2022 Active Preference-Based Gaussian Process Regression for Reward Learning RSS 2020 Dynamic Multi-Robot Task Allocation under Uncertainty and Temporal Constraints RSS 2020 Learning Near Optimal Policies with Low Inherent Bellman Error ICML 2020 Robust Spatial-Temporal Incident Prediction UAI 2020 Scalable Identification of Partially Observed Systems with Certainty-Equivalent EM ICML 2020 Structured Mechanical Models for Robot Learning and Control L4DC 2020 Unmanned Aircraft Collision Avoidance using Continuous-State POMDPs RSS 2011