Registered user since Mon 15 Apr 2024
Name:Marek Jankola
Country:Slovakia
Affiliation:LMU Munich
Research interests:Formal Verification, Automata, Logic
Contributions
Using general profile
- Attending
- Program
- Tracks
- Organization
- AIware 2025 Committees
- Steering Committee
- Organizing Committee
- Track Committees
- Main Track
- ArXiv Track
- Benchmark & Dataset Track
- Contributors
- People Index
- Search
- Series
- Series
- AIware 2025
- AIware 2024