( en | de | ru )

 

Disambiguation of "Markey, Nicolas"

Author of the publication

copydeleteadd this publication to your clipboard
Reasoning About Quality and Fuzziness of Strategic Behaviours.

, , , , , and . ECAI, volume 325 of Frontiers in Artificial Intelligence and Applications, page 2887-2888. IOS Press, (2020)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Janice Markey

Nicolas Jeanvoine

Plasma-material interaction and electrode degradation in high voltage ignition discharges. Uni Saarbrücken, (2009)

Nicolas Streidl

Nicolas Rüsch

Nicolas Haas

 

Other publications of authors with the same name

Tame the BeaST. (October 2009)Model Checking a Path., and . CONCUR, volume 2761 of Lecture Notes in Computer Science, page 248-262. Springer, (2003)Averaging in LTL., , and . CONCUR, volume 8704 of Lecture Notes in Computer Science, page 266-280. Springer, (2014)Robustness in real-time systems.. SIES, page 28-34. IEEE, (2011)Repairing Real-Time Requirements., , , , and . ATVA, volume 13505 of Lecture Notes in Computer Science, page 371-387. Springer, (2022)Incremental Methods for Checking Real-Time Consistency., , , , and . FORMATS, volume 12288 of Lecture Notes in Computer Science, page 249-264. Springer, (2020)Computing Maximally-Permissive Strategies in Acyclic Timed Automata., , , and . FORMATS, volume 12288 of Lecture Notes in Computer Science, page 111-126. Springer, (2020)Reasoning About Quality and Fuzziness of Strategic Behaviours., , , , , and . ECAI, volume 325 of Frontiers in Artificial Intelligence and Applications, page 2887-2888. IOS Press, (2020)Efficient timed model checking for discrete-time systems., , and . Theor. Comput. Sci., 353 (1-3): 249-271 (2006)Temporal Logic with Forgettable Past., , and . LICS, page 383-392. IEEE Computer Society, (2002)