Author:
Barringer Howard,Fisher Michael,Gabbay Dov,Gough Graham
Cited by
5 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Automated extraction and checking of property models from source code for robot swarms;Proceedings of the 4th International Workshop on Robotics Software Engineering;2022-05-09
2. Linear Temporal Logic – From Infinite to Finite Horizon;Automated Technology for Verification and Analysis;2021
3. LTLf Synthesis under Partial Observability: From Theory to Practice;Electronic Proceedings in Theoretical Computer Science;2020-09-20
4. Temporal Logic;The Blackwell Guide to Philosophical Logic;2017-11-15
5. Reasoning about Depth and Motion from an Observer's Viewpoint;Spatial Cognition & Computation;2007-06-29