Developing Autonomous Multi-Robot Systems for Complex Missions
- Accenture Labs (Virtual Talk), April 21, 2021
- Workshop on Robotics and Machine Intelligence 2020 organized by the Center of Intelligent Robotics, IIIT Allahabad, India, January 2, 2020
- Verimag, Grenoble, France, July 2, 2019
- ENSTA ParisTech, Paris, France, June 25, 2019
Rhocop: Receding Horizon Multi-Robot Coverage
slides
- The Robotics Society (India) and IEEE RAS Winter School on Robotics and Autonomous Systems, April 5, 2019
- Ericson R&D, Bangalore, india, June 13, 2018
- 9th International Conference on Cyber-Physical Systems (ICCPS), Porto, Portugal, April 12, 2018
Automated Task and Motion Plan Generation for Multi-Robot Systems from Complex Specifications
- AICTE FDP, Amity University (Virtual Talk), January 11-12, 2021
- TEQIP Workshop on Robotics and Automation, IIT Kanpur, February 23, 2020
- QIP Short Term Course on Robotics, IIT Kanpur, India, January 25, 2020
- ITEC-TEQIP Sponsored International Workshop on Robotics, IIT Kanpur, September 27, 2018
- QIP Short Term Course on Deep Learning and Computational Intelligence in Automation and Control, IIT Kanpur, December 4, 2017
- First Cyber-Physical Systems Symposium, IISc, Bengaluru, July 19, 2017
- DRDO Center of Artificial Intelligence and Robotics (CAIR) Bengaluru, July 18, 2017
Implan: Scalable Incremental Motion Planning for Multi-Robot Systems
slides
- 7th International Conference on Cyber-Physical Systems (ICCPS), Vienna, Austria, April 14, 2016
Dynamic Scheduling for Networked Control Systems
slides
- 18th International Conference on Hybrid Systems: Computation and Control (HSCC 2015), Seattle, USA, April 15, 2015
Automated Software Synthesis for Cyber-Physical Systems
slides
- A Short course on Control of Cyber Physical Systems at IIT Kanpur, March 24, 2017
- Workshop on Development Aspects of Intelligent Adaptive Systems (DIAS 2017), February 5, 2017
- TEQIP Workshop on Advanced Robotics at IIT Kanpur, March 19, 2016
- Microsoft Research, Redmond, USA, April 23, 2015
- Indian Institute of Technology, Kanpur, India, April 7, 2015
- Indian Institute of Science, Bangalore, India, March 30, 2015
- University of Illinois Chicago, USA, March 13, 2015
Compositional Synthesis of Multi-Robot Motion Plans via SMT Solving
slides
- Dagstuhl seminar on verification of cyber-physical systems, Dagstuhl, Germeny, March 17-21, 2014
- IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS 2014), Chicago, September 15, 2014
Program Analysis and Synthesis for Control Applications
slides
- Galois, Inc., Portland, USA, May 3, 2013
- ExCAPE project webinar, April 18, 2013
- Shanghai Tech University, Shanghai, China, March 29, 2013
- 8th International Workshop on Numerical Software Verification 2015 (NSV 2015), Seattle, USA, April 13, 2015
Trigger Memoization in Self-Triggered Control
slides
- International Conference on Embedded Software (EMSOFT 2012), Tempere, Finland, October 9-14, 2012
Synthesis of Minimal Error Control Software
slides
- International Conference on Embedded Software (EMSOFT 2012), Tempere, Finland, October 9-14, 2012
Automatic Dimensional Analysis of Cyber-Physical Systems
slides
- Formal Methods Europe (FM 2012), Paris, France, August 29, 2012
ModelRob: A Simulink Library for Model-Based Development of Robot Manipulators
slides
- International Conference on Robotics and Automation (ICRA 2012),
St. Paul, Minnesota, USA, May 16, 2012
- Fortiss, Munich, Germany, June 12, 2012
Performance-Aware Scheduler Synthesis for Control Systems
slides
- International Conference on Embedded Software (EMSOFT 2012), Taipei, Taiwan, October 12, 2011
- GM India Science Lab, Bangalore, India, November 2, 2011
- Fortiss, Munich, Germany, June 11, 2012
Automatic Verification of Control System Implementations
slides
- International Conference on Embedded Software (EMSOFT 2011), Scottsdale, USA, October 25, 2010
- Computing, Informatics and Decision Systems Engineering Department, Arizona State University, Tempe, USA, October 29, 2010
- In the Meeting of IFIP Working Group 2.3 at SRI International, Menlo Park, CA, USA, June, 2011.
- GM India Science Lab, Bangalore, India, November 2, 2011
Symbolic Robustness Analysis
slides
- 30th IEEE Real-Time Systems Symposium (RTSS 2009), Washington DC, USA, December 4, 2009
Quantitative Analysis of a Probabilistic Non-Repudiation Protocol through Model Checking
- 5th International Conference on Information Systems Security (ICISS 2009), Kolkata, India, December 18, 2009
A Reinforcement Model for Collaborative Security and its Formal Analysis
- New Security Paradigm Workshop (NSPW2009), Oxford, UK, September 10, 2009
Modeling and Verification of TTCAN Startup Protocol Using Synchronous Calendar
- 5th IEEE International Conference on Software Engineering and Formal Methods (SEFM 2007), London, UK, September 13, 2007
A Finite State Analysis of Time-triggered CAN (TTCAN) Protocol using Spin
- the International Conference on Computing: Theory and Application (ICCTA 2007),Kolkata, India, March 5, 2007
Distributed Fault Tolerant Topology Control in Static and Mobile Wireless Ad-hoc Networks
- 2nd International Conference on Communication System Software and Middleware (COMSWARE 2007), Bangalore, India, January 12, 2007
Location Verification Based Defense against Sybil Attack in Sensor Networks
- 8th International Conference on Distributed Computing and Networking (ICDCN 2006), Guwahati, India, December 30, 2006
Distributed Fault Tolerant Topology Control in Wireless Ad-hoc Sensor Networks
- 3rd International Conference on Wireless and Optical Communication Networks (WOCN 2006),Bangalore, India, April 11, 2006