Przedstawię wyniki pracy (wspólnej z Agnieszką Wiszniewską-Matyszkiel) "Verification of Fischer Mirman Fish Wars model", w której badamy model dwóch populacji ryb zaproponowany w 1992 roku przez Fischera i Mirmana (FM). Naszym celem była weryfikacja zaproponowanych wyników, które nie były poprawnie udowodnione. Udało nam się, korzystając ze zmodyfikowanej wersji twierdzenia Bellmana (Agnieszka Wiszniewska-Matyszkiel 2011), udowodnić, że równowaga z pracy FM jest faktycznie równowagą. Jednakże w pracy FM rozpatrywane były 3 przypadki interakcji międzygatunkowej, ten który udało się w ten sposób rozwiązać był najprostszy. W celu udowodnienia istnienia równowagi w pozostałych dwóch przypadkach, wprowadziliśmy niezbędną zmianę modelu.