Author of the publication

Towards Interpretation of Abstract Instructions Using Declarative Constraints in Temporal Logic.

, , , and . ICSCA, page 17-20. ACM, (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.

 

Other publications of authors with the same name

Efficient Realizability Checking by Modularization of LTL Specifications., , , , and . Comput. J., 65 (10): 2801-2814 (2022)A Temporal Logic with Mean-Payoff Constraints., , , and . ICFEM, volume 7635 of Lecture Notes in Computer Science, page 249-265. Springer, (2012)Reducing Bounded Realizability Analysis to Reachability Checking., , and . RP, volume 9328 of Lecture Notes in Computer Science, page 140-152. Springer, (2015)A Qualitative Framework for Analysing Homeostasis in Gene Networks., , and . BIOINFORMATICS, page 5-16. SciTePress, (2014)Simple synthesis of reactive systems with tolerance for unexpected environmental behavior., , , , and . FormaliSE@ICSE, page 15-21. ACM, (2016)Formal Analysis of Gene Networks Using Network Motifs., , , , , and . BIOSTEC (Selected Papers), volume 452 of Communications in Computer and Information Science, page 131-146. Springer, (2013)Compositional Analysis of Homeostasis of Gene Networks by Clustering Algorithms., , , and . BIOSTEC (Selected Papers), volume 881 of Communications in Computer and Information Science, page 191-211. Springer, (2017)SAT-Based Bounded Strong Satisfiability Checking of Reactive System Specifications., , and . ICT-EurAsia, volume 7804 of Lecture Notes in Computer Science, page 60-70. Springer, (2013)Formulation of Homeostasis by Realisability on Linear Temporal Logic., , and . BIOSTEC (Selected Papers), volume 511 of Communications in Computer and Information Science, page 149-164. Springer, (2014)Efficient Analysis of Homeostasis of Gene Networks with Compositional Approach., , , and . BIOINFORMATICS, page 17-28. SciTePress, (2017)