Results 91 to 100 of about 1,711 (143)

Extract, model, refine: improved modelling of program verification tools through data enrichment. [PDF]

Softw Syst Model
Lathouwers S, Liu Y, Zaytsev V.
europepmc   +1 more source

A review of the applications of multi-agent reinforcement learning in smart factories. [PDF]

Front Robot AI, 2022
Bahrpeyma F, Reichelt D.
europepmc   +1 more source

Indecision and delays are the parents of failure-taming them algorithmically by synthesizing delay-resilient control. [PDF]

Acta Inform, 2021
Chen M, Fränzle M, Li Y, Mosaad PN, Zhan N.   +4 more
europepmc   +1 more source

Temporally extended goal recognition in fully observable non-deterministic domain models: Temporally extended goal recognition in FOND planning. [PDF]

Appl Intell (Dordr)
Pereira RF, Fuggitti F, Meneguzzi F, De Giacomo G.   +3 more
europepmc   +1 more source

Shield synthesis. [PDF]

Form Methods Syst Des, 2017
Könighofer B, Alshiekh M, Bloem R, Humphrey L, Könighofer R, Topcu U, Wang C.   +6 more
europepmc   +1 more source

Monitoring hyperproperties. [PDF]

Form Methods Syst Des, 2019
Finkbeiner B, Hahn C, Stenger M, Tentrup L.   +3 more
europepmc   +1 more source