Results 81 to 90 of about 17,250 (168)

Hierarchical planning with state abstractions for temporal task specifications. [PDF]

Auton Robots, 2022
Oh Y, Patel R, Nguyen T, Huang B, Berg M, Pavlick E, Tellex S.   +6 more
europepmc   +1 more source

Modeling and Verification of Asynchronous Systems Using Timed Integrated Model of Distributed Systems. [PDF]

Sensors (Basel), 2022
Daszczuk WB.
europepmc   +1 more source

Design and Implementation of a Deterministic and Nondeterministic Finite Automaton Simulator

, 2020
Camron C Dennler
openalex   +1 more source

Turing, von Neumann, and the computational architecture of biological machines. [PDF]

Proc Natl Acad Sci U S A, 2023
Al-Hashimi HM.
europepmc   +1 more source

Predicate abstraction for hyperliveness verification. [PDF]

Form Methods Syst Des
Beutner R, Finkbeiner B.
europepmc   +1 more source

Modelling and verification of reconfigurable multi-agent systems. [PDF]

Auton Agent Multi Agent Syst, 2021
Abd Alrahman Y, Piterman N.
europepmc   +1 more source

Model-based partition scheduling of integrated modular avionics systems using genetic algorithm. [PDF]

Sci Rep
Chen J, Zhai Z, Han P, Huang M.
europepmc   +1 more source

From LTL to rLTL monitoring: improved monitorability through robust semantics. [PDF]

Form Methods Syst Des, 2021
Mascle C, Neider D, Schwenger M, Tabuada P, Weinert A, Zimmermann M.   +5 more
europepmc   +1 more source

State-Based Fault Diagnosis of Finite-State Vector Discrete-Event Systems via Integer Linear Programming. [PDF]

Sensors (Basel)
Chen Q, Garayev M, Liu D.
europepmc   +1 more source

A formal statechart model of immediate neonatal adaptation guidelines. [PDF]

Heliyon
Sepúlveda-Oviedo EH, Bermeo Clavijo LE, Carlos Méndez-Córdoba L.   +2 more
europepmc   +1 more source