Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Georgios Fainekos
Combining Time and Frequency Domain Specifications for Periodic Signals
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Foreword
Mathematics in Computer Science
Mathematics
Computational Mathematics
Applied Mathematics
Computational Theory
Monte-Carlo Techniques for Falsification of Temporal Properties of Non-Linear Hybrid Systems
A Model-Based Approach to Synthesizing Insulin Infusion Pump Usage Parameters for Diabetic Patients
Extended LTLvis Motion Planning Interface
Traffic Light Status Detection Using Movement Patterns of Vehicles
ARCH-COMP17 Category Report: Preliminary Results on the Falsification Benchmarks