starting date pendingESPRIT

Linear dynamical systems: algorithms and certificates

Lineare dynamische Systeme: Algorithmen und Zertifikate

Principal Investigator

Keywords

Mathematical foundations of formal verificationAutomata theoryAlgorithms for matrix semigroups

Research Disciplines

Computer algebraTheoretical computer science

Research Fields

Computer SciencesMathematics

This project has no linked research outputs in the database.

No additional funding sources recorded.