Discover open access scientific publications

Search, annotate, share and cite publications

Publications by Nicolas Markey

Quantitative Analysis of Real-Time Systems Using Priced Timed Automata

Communications of the ACM
Computer Science
2011English

On the Expressiveness of TPTL and MTL

Information and Computation
Theoretical Computer ScienceComputational TheoryComputer Science ApplicationsInformation SystemsMathematics
2010English

Robust Reachability in Timed Automata: A Game-Based Approach

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2012English

Quantified CTL: Expressiveness and Model Checking

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2012English

Optimal and Robust Controller Synthesis

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2018English

Timed-Automata Abstraction of Switched Dynamical Systems Using Control Invariants

Real-Time Systems
ControlSystems EngineeringOptimizationElectronic EngineeringComputer NetworksSimulationCommunicationsComputer Science ApplicationsElectricalModeling
2017English

Robustness in Timed Automata

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2013English

Lower-Bound Constrained Runs in Weighted Timed Automata

2012English

Robust Safety of Timed Automata

Formal Methods in System Design
HardwareTheoretical Computer ScienceArchitectureSoftware
2008English

On Model Checking Durational Kripke Structures

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2002English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2025 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy