According to our database1, Takashi Tomita authored at least 5 papers between 2011 and 2017.
Legend:Book In proceedings Article PhD thesis Other
Safraless LTL synthesis considering maximal realizability.
Acta Inf., 2017
Template-Based Monte-Carlo Test Generation for Simulink Models.
Proceedings of the Cyber Physical Systems. Design, Modeling, and Evaluation, 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