# Simulation preorder

## Papers overview

Semantic Scholar uses AI to extract papers important to this topic.

2018

2018

- MODELSWARD
- 2018

Automotive industry uses model checking approaches to ensure behavioral backward compatibility of different variants and versionsâ€¦Â (More)

Is this relevant?

Highly Cited

2014

Highly Cited

2014

- IEEE Transactions on Signal Processing
- 2014

Adaptive networks are suitable for decentralized inference tasks. Recent works have intensively studied distributed optimizationâ€¦Â (More)

Is this relevant?

Highly Cited

2009

Highly Cited

2009

- NIPS
- 2009

Principal component analysis is a fundamental operation in computational data analysis, with myriad applications ranging from webâ€¦Â (More)

Is this relevant?

Highly Cited

2004

Highly Cited

2004

- IEEE Transactions on Automatic Control
- 2004

In this paper, we discuss consensus problems for networks of dynamic agents with fixed and switching topologies. We analyze threeâ€¦Â (More)

Is this relevant?

2002

2002

- Inf. Comput.
- 2002

We consider the problem of simulation preorder/equivalence between infinitestate processes and finite-state ones. First, weâ€¦Â (More)

Is this relevant?

2002

2002

- VMCAI
- 2002

We present a simulation preorder for reactive systems modeled by fair Kripke structures whose transition relation is divided intoâ€¦Â (More)

Is this relevant?

Highly Cited

2000

Highly Cited

2000

- 2000

In this paper we develop some statistical theory for factor models of large dimensions. The focus is the determination of theâ€¦Â (More)

Is this relevant?

1999

1999

- ICALP
- 1999

We consider the problem of simulation preorder/equivalenc e between infinite-state processes and finite-state ones. We prove thaâ€¦Â (More)

Is this relevant?

Highly Cited

1991

Highly Cited

1991

- CAV
- 1991

Systems involving interaction among state machines, such as protocols, concurrent algorithms, and certain kinds of haxdwarcâ€¦Â (More)

Is this relevant?

Highly Cited

1990

Highly Cited

1990

- Neural Computation
- 1990

A general method for building and training multilayer perceptrons composed of linear threshold units is proposed. A simpleâ€¦Â (More)

Is this relevant?