Discover @yashpant Open Source projects

@yashpant

yashpant

Stars
15
Global Rank 765,281 (Top 27 %)
Followers 13
Registered over 12 years ago
Most used languages

MATLAB
100.0 %

FlyByLogic

A Tool for multi-drone planning using Signal Temporal Logic Objectives

SmoothOperator0

Code for control (or falsification) of systems with bounded time MTL specifications via robustness approximation and maximization