Vasumathi Raman

According to our database1, Vasumathi Raman authored at least 46 papers between 2009 and 2019.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2019
Explaining AI Decisions Using Efficient Methods for Learning Sparse Boolean Formulae.
J. Autom. Reason., 2019

2018
Synthesis of Obfuscation Policies to Ensure Privacy and Utility.
J. Autom. Reason., 2018

Safe Autonomy Under Perception Uncertainty Using Chance-Constrained Temporal Logic.
J. Autom. Reason., 2018

Reactive mission and motion planning with deadlock resolution avoiding dynamic obstacles.
Auton. Robots, 2018

Generating Dominant Strategies for Continuous Two-Player Zero-Sum Games.
Proceedings of the 6th IFAC Conference on Analysis and Design of Hybrid Systems, 2018

2017
Tunable Reactive Synthesis for Lipschitz-Bounded Systems with Temporal Logic Specifications.
CoRR, 2017

Model Predictive Control for Signal Temporal Logic Specification.
CoRR, 2017

Towards a socially responsible smart city: dynamic resource allocation for smarter community service.
Proceedings of the 4th ACM International Conference on Systems for Energy-Efficient Built Environments, 2017

On Learning Sparse Boolean Formulae for Explaining AI Decisions.
Proceedings of the NASA Formal Methods - 9th International Symposium, 2017

Sampling-based synthesis of maximally-satisfying controllers for temporal logic specifications.
Proceedings of the 2017 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2017

Combining neural networks and tree search for task and motion planning in challenging environments.
Proceedings of the 2017 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2017

2016
The 2016 Formal Methods for Robotics Challenge [Competitions].
IEEE Robotics Autom. Mag., 2016

Obfuscator Synthesis for Privacy and Utility.
Proceedings of the NASA Formal Methods - 8th International Symposium, 2016

Automated Synthesis of Safe Autonomous Vehicle Control Under Perception Uncertainty.
Proceedings of the NASA Formal Methods - 8th International Symposium, 2016

Diagnosis and Repair for Synthesis from Signal Temporal Logic Specifications.
Proceedings of the 19th International Conference on Hybrid Systems: Computation and Control, 2016

On Optimal Control of Stochastic Linear Hybrid Systems.
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2016

On ∃ ∀ ∃! solving: A case study on automated synthesis of magic card tricks.
Proceedings of the 2016 Formal Methods in Computer-Aided Design, 2016

Chains of Integrators as a Benchmark for Scalability of Hybrid Control Synthesis.
Proceedings of the ARCH@CPSWeek 2016, 2016

Slugs: Extensible GR(1) Synthesis.
Proceedings of the Computer Aided Verification - 28th International Conference, 2016

2015
Timing Semantics for Abstraction and Execution of Synthesized High-Level Robot Control.
IEEE Trans. Robotics, 2015

Provably correct reactive control from natural language.
Auton. Robots, 2015

Collision-Free Reactive Mission and Motion Planning for Multi-robot Systems.
Proceedings of the Robotics Research, 2015

Online horizon selection in receding horizon temporal logic planning.
Proceedings of the 2015 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2015

Dynamics-driven adaptive abstraction for reactive high-level mission and motion planning.
Proceedings of the IEEE International Conference on Robotics and Automation, 2015

Reactive synthesis from signal temporal logic specifications.
Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control, 2015

BluSTL: Controller Synthesis from Signal Temporal Logic Specifications.
Proceedings of the 1st and 2nd International Workshop on Applied veRification for Continuous and Hybrid Systems, 2015

Variable elimination for scalable receding horizon temporal logic planning.
Proceedings of the American Control Conference, 2015

Robust Model Predictive Control for Signal Temporal Logic Synthesis.
Proceedings of the 5th IFAC Conference on Analysis and Design of Hybrid Systems, 2015

2014
Unsynthesizable Cores - Minimal Explanations for Unsynthesizable High-Level Robot Behaviors.
CoRR, 2014

Low-Effort Specification Debugging and Analysis.
Proceedings of the Proceedings 3rd Workshop on Synthesis, 2014

Distributed control of a swarm of buildings connected to a smart grid: demo abstract.
Proceedings of the 1st ACM Conference on Embedded Systems for Energy-Efficient Buildings, 2014

Reactive switching protocols for multi-robot high-level tasks.
Proceedings of the 2014 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2014

Synthesis for multi-robot controllers with interleaved motion.
Proceedings of the 2014 IEEE International Conference on Robotics and Automation, 2014

Model predictive control from signal temporal logic specifications: a case study.
Proceedings of the 4th ACM SIGBED International Workshop on Design, 2014

Model predictive control with signal temporal logic specifications.
Proceedings of the 53rd IEEE Conference on Decision and Control, 2014

2013
Explaining Impossible High-Level Robot Behaviors.
IEEE Trans. Robotics, 2013

Sorry Dave, I'm Afraid I Can't Do That: Explaining Unachievable Robot Tasks Using Natural Language.
Proceedings of the Robotics: Science and Systems IX, Technische Universität Berlin, Berlin, Germany, June 24, 2013

Towards minimal explanations of unsynthesizability for high-level robot behaviors.
Proceedings of the 2013 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2013

Provably correct continuous control for high-level robot behaviors with actions of arbitrary execution durations.
Proceedings of the 2013 IEEE International Conference on Robotics and Automation, 2013

2012
Avoiding forgetfulness: Structured English specifications for high-level robot control with implicit memory.
Proceedings of the 2012 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2012

Temporal logic robot mission planning for slow and fast actions.
Proceedings of the 2012 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2012

Automated feedback for unachievable high-level robot behaviors.
Proceedings of the IEEE International Conference on Robotics and Automation, 2012

Correct high-level robot control from structured English.
Proceedings of the IEEE International Conference on Robotics and Automation, 2012

Situation understanding bot through language and environment.
Proceedings of the International Conference on Human-Robot Interaction, 2012

2011
Analyzing Unsynthesizable Specifications for High-Level Robot Behavior Using LTLMoP.
Proceedings of the Computer Aided Verification - 23rd International Conference, 2011

2009
An epistemic characterization of zero knowledge.
Proceedings of the 12th Conference on Theoretical Aspects of Rationality and Knowledge (TARK-2009), 2009


  Loading...