Anatoli N. Chebotarev

According to our database, Anatoli N. Chebotarev authored at least 3 papers between 1993 and 1999.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

1999

Evolvable Hardware or Learning Hardware? Induction of State Machines from Temporal Logic Constraints.

Marek A. Perkowski, Alan Mishchenko, Anatoli N. Chebotarev

Proceedings of the 1st NASA / DoD Workshop on Evolvable Hardware (EH '99), 1999

1998

Resolution-Based Approach to Computability Analysis of Interacting Automata.

Anatoli N. Chebotarev, Marina K. Morokhovets

Theor. Comput. Sci., 1998

1993

Consistency Checking of Automata Functional Specifications.

Anatoli N. Chebotarev, Marina K. Morokhobets

Proceedings of the Logic Programming and Automated Reasoning,4th International Conference, 1993