conftrace_

hybrid system

31 papers

Explore in graph

Co-occurring keywords

formal verification (284) neural network (6616) bidirectional lstm (430) rule-based system (81) large language model (13587) hidden markov model (302) optimal control (218) knowledge base (804) formal methods (79) model predictive control (174)

Papers

PROMT Systems for WMT 2018 Shared Translation Task EMNLP 2018
A Hybrid Approach to Grapheme to Phoneme Conversion in Assamese INTERSPEECH 2018
Hybrid Question Answering over Knowledge Base and Free Text COLING 2016
Optimal Robust Control for Bipedal Robots through Control Lyapunov Function based Quadratic Programs RSS 2015
On Provably Safe Obstacle Avoidance for Autonomous Robotic Ground Vehicles RSS 2013
Guaranteeing High-Level Behaviors while Exploring Partially Known Maps RSS 2012