Shadi Tasdighi Kalat

Orcid: 0000-0002-7339-6339

According to our database1, Shadi Tasdighi Kalat authored at least 11 papers between 2015 and 2024.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
Anticipating Oblivious Opponents in Stochastic Games.
CoRR, 2024

What is Your Discount Factor?
Proceedings of the Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems, 2024

2023
A Data-Driven Approach to Approximate Opacity Verification.
Proceedings of the 62nd IEEE Conference on Decision and Control, 2023

2022
Modular Verification of Opacity for Interconnected Control Systems via Barrier Certificates.
IEEE Control. Syst. Lett., 2022

Verification of approximate infinite-step opacity using barrier certificates.
Proceedings of the European Control Conference, 2022

2020
A Feedback-Planning Scheme to Synthesize Control Functions.
Proceedings of the 2020 American Control Conference, 2020

2019
A computationally efficient approach to decentralized routing of swarms via a family of pre-fractal curves.
Proceedings of the 2019 American Control Conference, 2019

2017
Scalable collective impedance control of an object via a decentralized force control method.
Proceedings of the 2017 American Control Conference, 2017

Decentralized obstacle avoidance in collective object manipulation.
Proceedings of the 2017 NASA/ESA Conference on Adaptive Hardware and Systems, 2017

2016
Towards collective manipulation without inter-agent communication.
Proceedings of the 31st Annual ACM Symposium on Applied Computing, 2016

2015
TriBot: A minimally-actuated accessible holonomic hexapedal locomotion platform.
Proceedings of the 2015 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2015


  Loading...