Learning specifications for reactive synthesis with safety constraints
Kandai Watanabe, Nicholas Renninger, Sriram Sankaranarayanan, Morteza Lahijanian
0 citations
arXiv (Cornell University)
Kandai Watanabe
Informations fournies par OpenAlex. Research Africa ne déduit ni nationalité, ni poste, ni coordonnées personnelles.
17Publications signalées
37Citations signalées
0Affiliations récentes
Les domaines associés
Formal Methods in VerificationMachine Learning and AlgorithmsRobot Manipulation and LearningVirtual Reality Applications and ImpactsRobotics and Sensor-Based Localization
Les publications récentes
Learning specifications for reactive synthesis with safety constraints
Kandai Watanabe, Nicholas Renninger, Sriram Sankaranarayanan, Morteza Lahijanian
0 citations
arXiv (Cornell University)
Optimal Planning for Timed Partial Order Specifications
Kandai Watanabe, Georgios Fainekos, Bardh Hoxha, Morteza Lahijanian et autres
us, ch (code pays fourni par la source)
1 citation
Optimal Planning for Timed Partial Order Specifications
Kandai Watanabe, Georgios Fainekos, Bardh Hoxha, Morteza Lahijanian et autres
0 citations
arXiv (Cornell University)
Timed Partial Order Inference Algorithm
Kandai Watanabe, Georgios Fainekos, Bardh Hoxha, Morteza Lahijanian et autres
us, ch (code pays fourni par la source)
3 citations
Proceedings of the International Conference on Automated Planning and Scheduling
Timed Partial Order Inference Algorithm
Kandai Watanabe, Bardh Hoxha, Danil Prokhorov, Georgios Fainekos et autres
0 citations
arXiv (Cornell University)
SHIRO: Soft Hierarchical Reinforcement Learning
Kandai Watanabe, Mathew Strong, Omer Eldar
0 citations
arXiv (Cornell University)
An algorithm for learning switched linear dynamics from data
Guillaume Berger, Monal Narasimhamurthy, Kandai Watanabe, Morteza Lahijanian et autres
0 citations
DIAL (Catholic University of Leuven)
An Algorithm for Learning Switched Linear Dynamics from Data
Guillaume Berger, Monal Narasimhamurthy, Kandai Watanabe, Morteza Lahijanian et autres
1 citation
Self-Contained Kinematic Calibration of a Novel Whole-Body Artificial Skin for Human-Robot Collaboration
Kandai Watanabe, Matthew Strong, Mary Lou West, Caleb Escobedo et autres
1 citation
arXiv (Cornell University)
Self-Contained Kinematic Calibration of a Novel Whole-Body Artificial Skin for Human-Robot Collaboration
Kandai Watanabe, Matthew Strong, Mary Etta West, Caleb Escobedo et autres
us (code pays fourni par la source)
11 citations
2021 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS)
Probabilistic Specification Learning for Planning with Safety Constraints
Kandai Watanabe, Nicholas Renninger, Sriram Sankaranarayanan, Morteza Lahijanian
us (code pays fourni par la source)
2 citations
2021 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS)
BNTIC News n’est pas le producteur de ces données. Les publications sont interrogées à la demande dans Crossref, OpenAIRE, DOAJ, Europe PMC, HAL, DataCite, AfricArXiv, ROR et la Banque mondiale, sans clé d’accès. OpenAlex reste optionnel. Aucun service payant n’est nécessaire et aucune donnée externe n’est enregistrée en base. Consulter les sources et leurs limites.