Results 91 to 100 of about 17,250 (168)

SPIN-Based Linear Temporal Logic Path Planning for Ground Vehicle Missions with Motion Constraints on Digital Elevation Models. [PDF]

Sensors (Basel)
Toscano-Moreno M, Mandow A, Martínez MA, García-Cerezo AJ.   +3 more
europepmc   +1 more source

Deep Learning-Enhanced Sampling-Based Path Planning for LTL Mission Specifications. [PDF]

Sensors (Basel)
Baek C, Cho K.
europepmc   +1 more source

Pangenome comparison via ED strings. [PDF]

Front Bioinform
Gabory E, Mwaniki MN, Pisanti N, Pissis SP, Radoszewski J, Sweering M, Zuba W.   +6 more
europepmc   +1 more source

Insertion attack identification in discrete event systems using petri nets with an observer. [PDF]

PLoS One
Ahmed AA, Chen Y, El-Sherbeeny AM.
europepmc   +1 more source

Sensor Network Attack Synthesis against Fault Diagnosis of Discrete Event Systems. [PDF]

Sensors (Basel)
Kang T, Hou Y, Liu D.
europepmc   +1 more source

Long-term path planning with optimal deployment of a charging station for monitoring photovoltaic solar farms. [PDF]

Sci Rep
Huang Y, Chen Z, Chu J, Wang H, Sun S.
europepmc   +1 more source

Knowledge-Based Recurrent Neural Network for TCM Cerebral Palsy Diagnosis. [PDF]

Evid Based Complement Alternat Med, 2022
Li D, Qu J, Tian Z, Mou Z, Zhang L, Zhang X.   +5 more
europepmc   +1 more source

Fast and Adaptive Multi-Agent Planning under Collaborative Temporal Logic Tasks via Poset Products. [PDF]

Research (Wash D C)
Liu Z, Guo M, Bao W, Li Z.
europepmc   +1 more source