Work

Algorithmic analysis of polygonal hybrid systems, Part II: Phase portrait and tools

Year: 2007

Type: article

Source: Theoretical Computer Science

DOI: 10.1016/j.tcs.2007.09.025

Authors: Eugene Asarin, Gordon Pace, Gerardo Schneider, Sergio Yovine

Institutions: Laboratoire d'Informatique Algorithmique: Fondements et Applications, University of Malta, University of Oslo, Centre National de la Recherche Scientifique, Verimag

Language: English

Topic: Formal Methods in Verification

Subfield: Computational Theory and Mathematics

Field: Computer Science

Domain: Physical Sciences

Open Access status: bronze

OpenAlex ID: W2142520160

FWCI: 0.456

Cites: 34

Cited by: 5

Related to: 10