29 results on '"Dima, Cătălin"'
Search Results
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
6. Efficient Operational Semantics for for Verification of Temporal Properties
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
11. Model-Checking Strategic Ability and Knowledge of the Past of Communicating Coalitions
12. Dynamical Properties of Timed Automata Revisited
13. Distributed Time-Asynchronous Automata
14. Abstractions of Multi-agent Systems
15. Timed Shuffle Expressions
16. A Nonarchimedian Discretization for Timed Languages
17. Static Fault-Tolerant Real-Time Scheduling with 'Pseudo-topological' Orders
18. Regular Expressions with Timed Dominoes
19. Real-Time Automata and the Kleene Algebra of Sets of Real Numbers
20. Kleene theorems for event-clock automata
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
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.