نتایج جستجو برای: model checking
تعداد نتایج: 2124362 فیلتر نتایج به سال:
Journal:
:ACM SIGSOFT Software Engineering Notes
1996
Journal:
:ACM Transactions on Computational Logic
2020
Journal:
:Electronic Proceedings in Theoretical Computer Science
2017
Journal:
:Proceedings of the ACM on Programming Languages
2019
Journal:
:Annual review of control, robotics, and autonomous systems
2022
The design and control of autonomous systems that operate in uncertain or adversarial environments can be facilitated by formal modeling analysis. Probabilistic model checking is a technique to automatically verify, for given temporal logic specification, system satisfies the as well synthesize an optimal strategy its control. This method has recently been extended multiagent exhibit competitiv...
Journal:
:Electronic Notes in Theoretical Computer Science
2003
Journal:
:ACM SIGMETRICS Performance Evaluation Review
2005
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید