نتایج جستجو برای: temporal logic

تعداد نتایج: 383902  

Journal: :International Journal of Approximate Reasoning 2014

Journal: :Logical Methods in Computer Science 2009

Journal: :Lecture Notes in Computer Science 2023

Abstract Online monitoring is an effective validation approach for hybrid systems, that, at runtime, checks whether the (partial) signals of a system satisfy specification in, e.g., Signal Temporal Logic (STL) . The classic STL performed by computing robustness interval that specifies, each instant, how far monitored are from violating and satisfying specification. However, since monotonically ...

Journal: :Journal of Computer and System Sciences 1993

Journal: :Journal of Computer and System Sciences 1984

Journal: :IEEE Transactions on Control of Network Systems 2016

Journal: :ACM Transactions on Programming Languages and Systems 2009

Journal: :Journal of Artificial Intelligence Research 2018

نمودار تعداد نتایج جستجو در هر سال

با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید