Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 218,433,306 papers from all fields of science
Search
Sign In
Create Free Account
Transition system
Known as:
Transition
, Labelled transition system
, Labeled transition system
Expand
In theoretical computer science, a transition system is a concept used in the study of computation. It is used to describe the potential behavior of…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
24 relations
Abstract rewriting system
Action language
Automata theory
Averest
Expand
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2016
Highly Cited
2016
An Incremental Parser for Abstract Meaning Representation
Marco Damonte
,
Shay B. Cohen
,
G. Satta
Conference of the European Chapter of the…
2016
Corpus ID: 215826646
Abstract Meaning Representation (AMR) is a semantic representation for natural language that embeds annotations related to…
Expand
Highly Cited
2010
Highly Cited
2010
Inference and Abstraction of the Biometric Passport
F. Aarts
,
J. Schmaltz
,
F. Vaandrager
Leveraging Applications of Formal Methods
2010
Corpus ID: 12885312
Model-based testing is a promising software testing technique for the automation of test generation and test execution. One…
Expand
Highly Cited
2003
Highly Cited
2003
Ab initio lattice dynamics and structural stability of MgO
A. Oganov
,
M. Gillan
,
G. Price
2003
Corpus ID: 4458737
Using density-functional perturbation theory, we have studied lattice dynamics, dielectric and thermodynamic properties, and P–T…
Expand
Review
2001
Review
2001
An overview of CADP 2001
H. Garavel
,
Frédéric Lang
,
Radu Mateescu
2001
Corpus ID: 18330700
CADP is a toolbox for specifying and verifying asynchronous finite-state systems described using process algebraic languages. It…
Expand
Highly Cited
2000
Highly Cited
2000
Back to the Future for Consistency-Based Trajectory Tracking
J. Kurien
,
P. Nayak
AAAI/IAAI
2000
Corpus ID: 389366
Given a model of a physical process and a sequence of commands and observations received over time, the task of an autonomous…
Expand
Review
2000
Review
2000
Logics for hybrid systems
J. M. Davoren
,
A. Nerode
Proceedings of the IEEE
2000
Corpus ID: 16065954
Hybrid systems are heterogenous dynamical systems characterized by interacting continuous and discrete dynamics. Such…
Expand
Highly Cited
2000
Highly Cited
2000
SPIN Model Checking and Software Verification
K. Havelund
,
J. Penix
,
W. Visser
Lecture Notes in Computer Science
2000
Corpus ID: 27299002
ion of Communication Channels in Promela: A Case Study . . . . . . 187 Elena Fersman and Bengt Jonsson (Uppsala University)
Highly Cited
1998
Highly Cited
1998
Recognizing temporal trajectories using the condensation algorithm
Michael J. Black
,
A. Jepson
Proceedings Third IEEE International Conference…
1998
Corpus ID: 5159845
The recognition of human gestures in image sequences is an important and challenging problem that enables a host of human…
Expand
Highly Cited
1996
Highly Cited
1996
Models for Concurrency: Towards a Classification
V. Sassone
,
M. Nielsen
,
G. Winskel
Theoretical Computer Science
1996
Corpus ID: 1228455
Highly Cited
1990
Highly Cited
1990
An Implementation of an Efficient Algorithm for Bisimulation Equivalence
Jean-Claude Fernandez
Science of Computer Programming
1990
Corpus ID: 2935900
By clicking accept or continuing to use the site, you agree to the terms outlined in our
Privacy Policy
(opens in a new tab)
,
Terms of Service
(opens in a new tab)
, and
Dataset License
(opens in a new tab)
ACCEPT & CONTINUE