Results 101 to 110 of about 1,711 (143)
An attractor-based complexity measurement for Boolean recurrent neural networks. [PDF]
PLoS One, 2014 Cabessa J, Villa AE.
europepmc +1 more source
Linear Temporal Logic (LTL) Based Monitoring of Smart Manufacturing Systems. [PDF]
Proc Annu Conf Progn Health Manag Soc, 2015 Heddy G +6 more
europepmc +1 more source
Parameterized model checking of rendezvous systems. [PDF]
Distrib Comput, 2018 Aminof B +4 more
europepmc +1 more source
Synthesis of Minimum-Cost Shields for Multi-agent Systems. [PDF]
Proc Am Control Conf, 2019 Bharadwaj S +4 more
europepmc +1 more source