Miroslav Ćirić

1. Reduction of fuzzy automata by means of fuzzy quasi-orders
   2011/02/26 by Aleksandar Stamenković, Miroslav Ćirić, Stamenković, Aleksandar +3 · 2 citations
   Computer Science · #Formal Methods in Verification #Logic, Reasoning, and Knowledge #Advanced Algebra and Logic
2. Approximate Bisimulations for Fuzzy Automata Over Complete Heyting Algebras
   2020/11/25 by Stefan Stanimirovic, Stefan Stanimirović, Ivana Mičić +3 · 1 citation
   Computer Science · #Advanced Algebra and Logic #Logic, Reasoning, and Knowledge #semigroups and automata theory