Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Satyandra K Gupta
Modeling and Verification of Contingency Resolution Strategies for Multi-Robot Missions Using Temporal Logic
International Journal of Advanced Robotic Systems
Related publications
Performance Verification for Robot Missions in Uncertain Environments
Robotics and Autonomous Systems
Control
Systems Engineering
Software
Computer Science Applications
Mathematics
Terrain Modeling for Mobile Robot Control Using Cross-Section Curves in Nested Multi-Resolution Grids
Annals of DAAAM and Proceedings of the International DAAAM Symposium
Control
Systems Engineering
Industrial
Mechanical Engineering
Electronic Engineering
Manufacturing Engineering
Computer Science Applications
Electrical
A Resolution Calculus for the Branching-Time Temporal Logic CTL
ACM Transactions on Computational Logic
Computational Mathematics
Theoretical Computer Science
Computer Science
Logic
Motion Control Strategies for Improved Multi Robot Perception
Multi-Resolution Strategies for the Modeling of Composite Shell Structures Based on the Variable Separation Method
International Journal for Numerical Methods in Engineering
Applied Mathematics
Numerical Analysis
Engineering
Synthesizing Adaptive Test Strategies From Temporal Logic Specifications
Searching for Invariants Using Temporal Resolution
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Multi-Resolution Modeling for Extremely High Resolution 3D Scanned Faces
Automatic Multi-Resolution Shape Modeling of Multi-Organ Structures
Medical Image Analysis
Nuclear Medicine
Computer Graphics
Pattern Recognition
Ultrasound Technology
Radiological
Health Informatics
Computer Vision
Radiology
Computer-Aided Design
Imaging
