P. E. Bulychev

Available identifiers

zbMath Open bulychev.peter-eMaRDI QIDQ764004

List of research outcomes

Publication	Date of Publication	Type
https://portal.mardi4nfdi.de/entity/Q5858720	2021-04-14	Paper
Efficient controller synthesis for a fragment of \(\mathrm{MTL}_{0,\infty}\)	2014-07-03	Paper
Controllers with Minimal Observation Power (Application to Timed Systems)	2012-11-21	Paper
Monitor-Based Statistical Model Checking for Weighted Metric Temporal Logic	2012-06-15	Paper
Game-theoretic simulation checking tool	2012-03-12	Paper
Anti-unification Algorithms and Their Applications in Program Analysis	2010-02-02	Paper
Efficient on-the-fly Algorithm for Checking Alternating Timed Simulation	2009-12-01	Paper

Research outcomes over time

This page was built for person: P. E. Bulychev