According to our database1, Takashi Tomita
Legend:Book In proceedings Article PhD thesis Other
Safraless LTL synthesis considering maximal realizability.
Acta Inf., 2017
Simple synthesis of reactive systems with tolerance for unexpected environmental behavior.
Proceedings of the 4th FME Workshop on Formal Methods in Software Engineering, 2016
A Temporal Logic with Mean-Payoff Constraints.
Proceedings of the Formal Methods and Software Engineering, 2012
A Probabilistic Temporal Logic with Frequency Operators and Its Model Checking
Proceedings of the Proceedings 13th International Workshop on Verification of Infinite-State Systems, 2011