Sentence examples for can be model from inspiring English sources

They can be model students.

We show that TATL can be model checked over timed automaton games.

These complex dynamical behaviors can be model by impulsive differential system or impulsive neural networks.

We define the logic timed alternating-time temporal logic for verification of timed automaton games and show that the logic can be model checked in EXPTIME.

Then, a model with its simulator can be model checked against formal specification and be rapidly deployed on FPGA or PC via code generators.

Based on its Markovian property, the JCAC algorithm can be model as a (2*I*J*K -dimensional Markov chain.

We also show how MoSL+ formulae can be model-checked against StoKlaim specifications.

In this paper, we show how invariant properties for a sub-class of array-based systems can be model-checked by a backward reachability algorithm where the length of quantifier prefixes is efficiently controlled by suitable heuristics.

The language is endowed with enough formality so it allows a constructive approach; it allows the generation of behaviour models which can be model-checked, and the generation of code skeletons with the control flow of components.

This emission process can be modelled.

Although self-awareness might appear to be a human characteristic, it can be modelled in robots.