Author of the publication

Querying Trajectories through Model Checking based on Timed Automata.

, , , and . SBBD (Short Papers), page 33-40. SBC, (2012)

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.

 

Other publications of authors with the same name

On the Expressiveness and Complexity of ATL., , and . Logical Methods in Computer Science, (2008)Symbolic Optimal Reachability in Weighted Timed Automata., , and . CAV (1), volume 9779 of Lecture Notes in Computer Science, page 513-530. Springer, (2016)Costs Are Expensive!, and . FORMATS, volume 4763 of Lecture Notes in Computer Science, page 53-68. Springer, (2007)Quantified CTL: Expressiveness and Model Checking - (Extended Abstract)., , and . CONCUR, volume 7454 of Lecture Notes in Computer Science, page 177-192. Springer, (2012)Model Checking Timed Automata with One or Two Clocks., , and . CONCUR, volume 3170 of Lecture Notes in Computer Science, page 387-401. Springer, (2004)Quantitative Verification of Weighted Kripke Structures., , and . ATVA, volume 8837 of Lecture Notes in Computer Science, page 64-80. Springer, (2014)Optimal and Robust Controller Synthesis - Using Energy Timed Automata with Uncertainty., , , , , and . FM, volume 10951 of Lecture Notes in Computer Science, page 203-221. Springer, (2018)Lower-bound-constrained runs in weighted timed automata., , and . Perform. Evaluation, (2014)Synchronizing words under LTL constraints., , and . Inf. Process. Lett., (August 2023)Nash equilibria in symmetric graph games with partial observation., , and . Inf. Comput., (2017)