Eitan Farchi

Identifiers

No identifiers captured yet.

Papers (4)

1. An Agent-Based Framework for the Automatic Validation of Mathematical Optimization Models cs.AI · 2025 · author #3
2. Defending via strategic ML selection cs.CR · 2019 · author #1
3. Towards a Human-Centred Approach in Modelling and Testing of Cyber-Physical Systems cs.SE · 2016 · author #3
4. Teaching Logic to Information Systems Students: Challenges and Opportunities cs.CY · 2015 · author #2

Mentions

No mention provenance yet.

Frequent Coauthors

• Anna Zamansky 2 shared papers
• Alexander Zadorojniy 1 shared papers
• Guy Barash 1 shared papers
• Maria Spichkova 1 shared papers
• Onn Shehory 1 shared papers
• Segev Wasserkrug 1 shared papers