Alert button
Picture for Sanjit A. Seshia

Sanjit A. Seshia

Alert button

SMT-Based Dynamic Multi-Robot Task Allocation

Mar 18, 2024
Victoria Marie Tuck, Pei-Wei Chen, Georgios Fainekos, Bardh Hoxha, Hideki Okamoto, S. Shankar Sastry, Sanjit A. Seshia

Viaarxiv icon

$L^*LM$: Learning Automata from Examples using Natural Language Oracles

Feb 10, 2024
Marcell Vazquez-Chanlatte, Karim Elmaaroufi, Stefan J. Witwicki, Sanjit A. Seshia

Viaarxiv icon

An Eager Satisfiability Modulo Theories Solver for Algebraic Datatypes

Oct 18, 2023
Amar Shah, Federico Mora, Sanjit A. Seshia

Viaarxiv icon

Learning Formal Specifications from Membership and Preference Queries

Jul 19, 2023
Ameesh Shah, Marcell Vazquez-Chanlatte, Sebastian Junges, Sanjit A. Seshia

Figure 1 for Learning Formal Specifications from Membership and Preference Queries
Figure 2 for Learning Formal Specifications from Membership and Preference Queries
Figure 3 for Learning Formal Specifications from Membership and Preference Queries
Figure 4 for Learning Formal Specifications from Membership and Preference Queries
Viaarxiv icon

Specification-Guided Data Aggregation for Semantically Aware Imitation Learning

Mar 29, 2023
Ameesh Shah, Jonathan DeCastro, John Gideon, Beyazit Yalcinkaya, Guy Rosman, Sanjit A. Seshia

Figure 1 for Specification-Guided Data Aggregation for Semantically Aware Imitation Learning
Figure 2 for Specification-Guided Data Aggregation for Semantically Aware Imitation Learning
Figure 3 for Specification-Guided Data Aggregation for Semantically Aware Imitation Learning
Figure 4 for Specification-Guided Data Aggregation for Semantically Aware Imitation Learning
Viaarxiv icon

A Grammar for the Representation of Unmanned Aerial Vehicles with 3D Topologies

Feb 27, 2023
Piergiuseppe Mallozzi, Hussein Sibai, Inigo Incer, Sanjit A. Seshia, Alberto Sangiovanni-Vincentelli

Figure 1 for A Grammar for the Representation of Unmanned Aerial Vehicles with 3D Topologies
Viaarxiv icon

DEC-LOS-RRT: Decentralized Path Planning for Multi-robot Systems with Line-of-sight Constrained Communication

Mar 04, 2022
Victoria Tuck, Yash Vardhan Pant, Sanjit A. Seshia, S. Shankar Sastry

Figure 1 for DEC-LOS-RRT: Decentralized Path Planning for Multi-robot Systems with Line-of-sight Constrained Communication
Figure 2 for DEC-LOS-RRT: Decentralized Path Planning for Multi-robot Systems with Line-of-sight Constrained Communication
Figure 3 for DEC-LOS-RRT: Decentralized Path Planning for Multi-robot Systems with Line-of-sight Constrained Communication
Figure 4 for DEC-LOS-RRT: Decentralized Path Planning for Multi-robot Systems with Line-of-sight Constrained Communication
Viaarxiv icon

Demonstration Informed Specification Search

Dec 20, 2021
Marcell Vazquez-Chanlatte, Ameesh Shah, Gil Lederman, Sanjit A. Seshia

Figure 1 for Demonstration Informed Specification Search
Figure 2 for Demonstration Informed Specification Search
Figure 3 for Demonstration Informed Specification Search
Figure 4 for Demonstration Informed Specification Search
Viaarxiv icon

A Scenario-Based Platform for Testing Autonomous Vehicle Behavior Prediction Models in Simulation

Nov 14, 2021
Francis Indaheng, Edward Kim, Kesav Viswanadha, Jay Shenoy, Jinkyu Kim, Daniel J. Fremont, Sanjit A. Seshia

Figure 1 for A Scenario-Based Platform for Testing Autonomous Vehicle Behavior Prediction Models in Simulation
Figure 2 for A Scenario-Based Platform for Testing Autonomous Vehicle Behavior Prediction Models in Simulation
Figure 3 for A Scenario-Based Platform for Testing Autonomous Vehicle Behavior Prediction Models in Simulation
Figure 4 for A Scenario-Based Platform for Testing Autonomous Vehicle Behavior Prediction Models in Simulation
Viaarxiv icon