Search

Your search keyword '"Dima, Cătălin"' showing total 29 results

Search Constraints

Start Over You searched for: Author "Dima, Cătălin" Remove constraint Author: "Dima, Cătălin" Publication Type eBooks Remove constraint Publication Type: eBooks
29 results on '"Dima, Cătălin"'

Search Results

1. Controller Synthesis in Timed Büchi Automata: Robustness and Punctual Guards

2. Observational Preorders for Alternating Transition Systems

3. Relating Paths in Transition Systems: The Fall of the Modal Mu-Calculus

4. Sofic-Dyck Shifts

5. Safraless Synthesis for Epistemic Temporal Specifications

7. Verification of EB3 Specifications Using CADP

8. Epistemic ATL with Perfect Recall, Past and Strategy Contexts

9. Removing All Silent Transitions from Timed Automata

10. Revisiting Satisfiability and Model-Checking for CTLK with Synchrony and Perfect Recall

12. Dynamical Properties of Timed Automata Revisited

13. Distributed Time-Asynchronous Automata

14. Abstractions of Multi-agent Systems

15. Timed Shuffle Expressions

17. Static Fault-Tolerant Real-Time Scheduling with 'Pseudo-topological' Orders

21. Explaining Safety Violations in Real-Time Systems

22. Closing the Gap Between Discrete Abstractions and Continuous Control: Completeness via Robustness and Controllability

23. DiffRNN: Differential Verification of Recurrent Neural Networks

24. Stubborn Set Reduction for Timed Reachability and Safety Games

25. Formal Abstraction and Synthesis of Parametric Stochastic Processes

26. Formal Methods for Robot Motion Planning with Time and Space Constraints (Extended Abstract)

27. An Integer Static Analysis for Better Extrapolation in Uppaal

28. Automatic Dynamic Parallelotope Bundles for Reachability Analysis of Nonlinear Systems

29. On the Complexity of Timed Pattern Matching

Catalog

Books, media, physical & digital resources