Corpus ID: 75091074

оБзоР ПРИМЕНЕНИЯ ФоРМАЛьНЫХ МЕТоДоВ В РоБоТоТЕХНИКЕ

@inproceedings{Mordvinov2016,
  title={оБзоР ПРИМЕНЕНИЯ ФоРМАЛьНЫХ МЕТоДоВ В РоБоТоТЕХНИКЕ},
  author={D. A. Mordvinov and Yu . V. Litvinov},
  year={2016}
}

References

SHOWING 1-10 OF 60 REFERENCES
Human Intent Prediction Using Markov Decision Processes
  • 24
  • PDF
Performance Verification for Behavior-Based Robot Missions
  • 20
  • PDF
Qualitative analysis of POMDPs with temporal logic specifications for robotics applications
  • 46
  • PDF
Towards manipulation planning with temporal logic specifications
  • 56
  • PDF
Collaborative Verification-Driven Engineering of Hybrid Systems
  • 16
  • PDF
Combined task and motion planning through an extensible planner-independent interface layer
  • 311
  • PDF
...
1
2
3
4
5
...