yusuke1997/dblp-id-title huggingface dataset:
Speed Dating with an Affective Virtual Agent - Developing a Testbed for Emotion Models
Placement Control Method for Sign Language Translation System
Sign Spotting Disambiguation using Large Language Models
Intelligent Agents, 4th International Workshop, IVA 2003, Kloster Irsee, Germany, September 15-17, 2003, Proceedings
Towards a Common Framework for Multimodal Generation: The Behavior Markup Language
Talk About Death: End of Life Planning with a Virtual Agent
Evaluating Data-Driven Style Transformation for Gesturing Embodied Agents
Verification of Expressiveness of Procedural Parameters for Generating Emotional Motions
MPML3D: A Reactive Framework for the Multimodal Presentation Markup Language
Beyond Adaptivity: Proactive Cognitive Nudging and Multimodal Engagement for Overcoming Cognitive Bias
Virtual Agents in a Simulation of an ISO-Company
Inducing and maintaining the intentional stance by showing interactions between multiple agents
Automated Generation of Emotive Virtual Humans
An ASAP Realizer-Unity3D Bridge for Virtual and Mixed Reality Applications
Integrating Argumentation with Social Conversation between Multiple Virtual Coaches
Towards Primate-Like Synthetic Sociability
Virtual Agents and 3D Virtual Worlds for Preserving and Simulating Cultures
How Do You Like Me in This: User Embodiment Preferences for Companion Agents
Opponent Modeling for Virtual Human Negotiators
Direct Manipulation Like Tools for Designing Intelligent Virtual Agents
Animated Characters in Bullying Intervention
Affect Simulation with Primary and Secondary Emotions
Generating coherent spontaneous speech and gesture from text
MHeVA: Mental Health Virtual Assistant for High Education Students
Addressing Public Speaking Anxiety in Real-time Using a Virtual Public Speaking Coach and Physiological Sensors
A Computational Model of Power in Collaborative Negotiation Dialogues
Effect of Avatar Facial Expressiveness on Team Collaboration in Virtual Reality
Using Artificial Team Members for Team Training in Virtual Environments
The Lexicon and the Alphabet of Gesture, Gaze, and Touch
Cross Modal Evaluation of High Quality Emotional Speech Synthesis with the Virtual Human Toolkit
Interactive Agents Learning Their Environment
Influence of Music and Sounds in an Agent-Based Storytelling Environment
Assessing Users' Mental Status from their Journaling Behavior through Chatbots
Virtual Reality Negotiation Training Increases Negotiation Knowledge and Skill
Avatar Puppetry Using Real-Time Audio and Video Analysis
Incorporating Spatial Awareness in Data-Driven Gesture Generation for Virtual Agents
NeXuS: Delivering Perceptions to Situated Embodied Agents
An Experience-Based Approach to Simulate Virtual Crowd Behaviors Under the Influence of Alcohol
Text-to-Sign Language Production via Intermediate Skeletal Representations using Transformers and Neural Rendering
Combining Facial and Postural Expressions of Emotions in a Virtual Character
Generating Embodied Descriptions Tailored to User Preferences
Modelling Gaze Behaviour for Conversational Agents
vBroker: Agents Teaching Stock Market
Automatic Generation of Conversational Behavior for Multiple Embodied Virtual Characters: The Rules and Models behind Our System
Evaluation of Avatar and Voice Transform in Programming E-Learning Lectures
A Study on Generating and Matching Facial Control Point Using Radial Basis Function
Evaluating Adaptive Feedback in an Educational Computer Game
Incremental Multimodal Feedback for Conversational Agents
Culture, Errors, and Rapport-building Dialogue in Social Agents
ITACO: Effects to Interactions by Relationships between Humans and Artifacts
Training Agents: An Architecture for Reusability
Towards an Adaptive Regulation Scaffolding through Role-based Strategies
The Next Step towards a Function Markup Language
Towards Real-time Co-speech Gesture Generation in Online Interaction in Social XR
Implicit Training of Virtual Agents
Take One For the Team: The Effects of Error Severity in Collaborative Tasks with Social Robots
The impact of agent facial mimicry on social behavior in a prisoner's dilemma
German and Dutch Translations of the Artificial-Social-Agent Questionnaire Instrument for Evaluating Human-Agent Interactions
Non-Native Speaker Generation and Perception for Mixed-Cultural Settings
Towards Natural Gesture Synthesis: Evaluating Gesture Units in a Data-Driven Approach to Gesture Synthesis
Silence, Please! Interrupting In-Car Phone Conversations
Symbolic Acting in a Virtual Narrative Environment
Toward an Automatic Classification of Negotiation Styles Using Natural Language Processing
Personality, Attitudes, and Bonding in Conversations
Vocal Modulation and Engagement Effects in Virtual Health Assistant-Guided Gratitude Journaling Among Young Adults
Predicting User Psychological Characteristics from Interactions with Empathetic Virtual Agents
A Velocity-Based Approach for Simulating Human Collision Avoidance
Empirical Evaluation of Computational Emotional Contagion Models
Robust Recognition of Emotion from Speech
That's a Rap - Increasing Engagement with Rap Music Performance by Virtual Agents
FearNot! - An Experiment in Emergent Narrative
Can a Signing Virtual Human Engage a Baby's Attention?
Flipper 2.0: A Pragmatic Dialogue Engine for Embodied Conversational Agents
Immersive Interfaces for Building Parameterized Motion Databases
Agent Assistance for 3D World Navigation
EXSTASIS - An Extended Status Model for Social Interactions
"Is It Within My Reach?" - An Agents Perspective
Avatar's Gaze Control to Facilitate Conversational Turn-Taking in Virtual-Space Multi-user Voice Chat System
Adapting Virtual Patient Interviews for Interviewing Skills Training of Novice Healthcare Students
Appropriate and Inappropriate Timing of Listener Responses from Multiple Perspectives
From a User-created Corpus of Virtual Agent's Non-verbal Behavior to a Computational Model of Interpersonal Attitudes
Dialog Simulation for Background Characters
Estuary: A Framework For Building Multimodal Low-Latency Real-Time Socially Interactive Agents
Robot Dominance Expression Through Parameter-based Behaviour Modulation
Effects of rhetorical strategies and skin tones on agent persuasiveness in assisted decision-making
Little Mozart: Establishing Long Term Relationships with (Virtual) Companions
Ask&Answer: An Educational Game Where It Pays to Endear Your Capricious Virtual Companion
Using Linguistic Alignment to Enhance Learning Experience with Pedagogical Agents: The Special Case of Dialect
Socially Intelligent Tutor Agents
Locomotion Animation by Using Riding Motion
Influence of Directivity on the Perception of Embodied Conversational Agents' Speech
Evaluating the Gender Label in Virtual Babies Using an Interactive Environment
Improving Adaptiveness in Autonomous Characters
Avatar Customization and Emotions in MMORPGs
Automated Explanation of Research Informed Consent by Virtual Agents
AsapRealizer 2.0: The Next Steps in Fluent Behavior Realization for ECAs
Acceptability of Embodied Conversational Agent in a Health Care Context
Offscreen and in the Chair Next to Your: Conversational Agents Speaking Through Actual Human Bodies
The Social Credit Assignment Problem
Comparing Behavior Towards Humans and Virtual Humans in a Social Dilemma
A Virtual Poster Presenter Using Mixed Reality
The Influence of Emotions in Embodied Agents on Human Decision-Making
Interpersonal Impressions of Agents for Developing Intelligent Systems
A Software Engineering Approach Combining Rational and Conversational Agents for the Design of Assistance Applications
Examining the impact of emotion and agency on negotiator behavior
Nonverbal Action Selection for Explanations Using an Enhanced Behavior Net
Interruptions in Human-Agent Interaction
Spectators, a Joy to Watch
FlurMax: An Interactive Virtual Agent for Entertaining Visitors in a Hallway
Agents with No Aims: Motivation-Driven Continuous Planning
Translating Player Dialogue into Meaning Representations Using LSTMs
Modeling Nonverbal Behavior of a Virtual Counselor during Intimate Self-disclosure
Multimodal and Multitask Approach to Listener's Backchannel Prediction: Can Prediction of Turn-changing and Turn-management Willingness Improve Backchannel Modeling?
Incorporating Autonomous Bargaining Capabilities into E-Commerce Systems
Using Real Objects to Communicate with Virtual Characters
Towards Sign Language Motion Generation from Blurred Videos: System Development and Evaluation
What's Going on? Multi-sense Attention for Virtual Agents
Naturalistic Pain Synthesis for Virtual Patients
Study of Nine People in a Hallway: Some Simulation Challenges
Proceedings of the first Workshop on Conversational Interruptions in Human-Agent Interactions co-located with 17th International Conference on International Conference on Intelligent Virtual Agents (IVA 2017), Stockholm, Sweden, August 27, 2017
A Friendly Face in the Crowd: Reducing Public Speaking Anxiety with an Emotional Support Agent in the Audience
Shared Planning for building Human-agent Therapeutic Alliance
Evaluating Multimodal Behavioral Features for Public Speaking Assessment in Virtual Reality
Intelligent Virtual Agents - 12th International Conference, IVA 2012, Santa Cruz, CA, USA, September, 12-14, 2012. Proceedings
An Exploratory Study Toward the Preferred Conversational Style for Compatible Virtual Agents
Elbows Higher! Performing, Observing and Correcting Exercises by a Virtual Trainer
Ada and Grace: Toward Realistic and Engaging Virtual Museum Guides
Developing Interactive Embodied Characters Using the Thalamus Framework: A Collaborative Approach
The Problem of Emotional Induction Across Online Subject Populations: A Case Study in Guilt and Anger
Maintaining the Identity of Dynamically Embodied Agents
Users's Expectations of IVA Recall and Forgetting
Interpersonal Attitude of a Speaking Agent in Simulated Group Conversations
An Examination of Whether People Prefer Agents Whose Gestures Mimic Their Own
Eliciting Gestural Feedback in Chinese and Swedish Informal Interactions
How Much Do You Perceive This?: An Analysis on Perceptions of Geometric Features, Personalities and Emotions in Virtual Humans
Spontaneous Facial Behavior Revolves Around Neutral Facial Displays
Using Virtual Tour Behavior to Build Dialogue Models for Training Review
LLM-Driven Multimodal Video-Text Fusion for Isolated Sign Language Recognition
Assessing artificial trust in human-agent teams: a conceptual model
Case study in choosing a graphical character to support reminiscence therapy for those living with dementia
A Study of the Use of a Virtual Agent in an Ambient Intelligence Environment
Minimum Attention Controller Synthesis for Omega-Regular Objectives
Costs Are Expensive!
Implementation of Timed Automata: An Issue of Semantics or Modeling?
Formal Modeling and Analysis of Timed Systems - 8th International Conference, FORMATS 2010, Klosterneuburg, Austria, September 8-10, 2010. Proceedings
Beyond Liveness: Efficient Parameter Synthesis for Time Bounded Liveness
Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems, Joint International Conferences on Formal Modelling and Analysis of Timed Systems, FORMATS 2004 and Formal Techniques in Real-Time and Fault-Tolerant Systems, FTRTFT 2004, Grenoble, France, September 22-24, 2004, Proceedings
Causal Reversibility for Timed Process Calculi with Lazy/Eager Durationless Actions and Time Additivity
Formal Semantics of Hybrid Chi
Timed Automata with Integer Resets: Language Inclusion and Expressiveness
Rigorous Discretization of Hybrid Systems Using Process Calculi
Timed Symbolic Dynamics
On the Scalability of Constraint Solving for Static/Off-Line Real-Time Scheduling
From Software to Hardware and Back
Worst-Case Execution Time Analysis for Many-Core Architectures with NoC
Quantitative Attack Tree Analysis via Priced Timed Automata
Optimization of Timed Automata Models Using Mixed-Integer Programming
Towards a Methodological Approach to Specification and Analysis of Dependable Automation Systems
Modelling Attack-defense Trees Using Timed Automata
Scheduling of Controllers' Update-Rates for Residual Bandwidth Utilization
Abstraction Strategies for Computing Travelling or Looping Durations in Networks of Timed Automata
On Two-Sided Approximate Model-Checking: Problem Formulation and Solution via Finite Topologies
Guided Controller Synthesis for Climate Controller Using Uppaal Tiga
Verification of the Generic Architecture of a Memory Circuit Using Parametric Timed Automata
The Timestamp of Timed Automata
Mixed Delay and Threshold Voters in Critical Real-Time Systems
Approximations of Discrete, Continuous, and Hybrid Systems
Multi-objective Parameter Synthesis in Probabilistic Hybrid Systems
Robust Model-Checking of Timed Automata via Pumping in Channel Machines
Probabilistic Guarantees for Safe Deep Reinforcement Learning
Learning of Event-Recording Automata
Formal Modeling and Analysis of Timed Systems - 20th International Conference, FORMATS 2022, Warsaw, Poland, September 13-15, 2022, Proceedings
A Boyer-Moore Type Algorithm for Timed Pattern Matching
Formal Modeling and Analysis of Timed Systems - 19th International Conference, FORMATS 2021, Paris, France, August 24-26, 2021, Proceedings
Model Checking Timed Automata with Priorities Using DBM Subtraction
Run-Time Guarantees for Real-Time Systems
On the Computational Power of Timed Differentiable Petri Nets
Spectral Gap in Timed Automata
Towards Budgeting in Real-Time Calculus: Deferrable Servers
Certifying Emptiness of Timed Büchi Automata
A Uniformization-Based Algorithm for Model Checking the CSL Until Operator on Labeled Queueing Networks
Removing Irrelevant Atomic Formulas for Checking Timed Automata Efficiently
The Influence of Durational Actions on Time Equivalences
Natural Domain SMT: A Preliminary Assessment
Property-Based Monitoring of Analog and Mixed-Signal Systems
Formal Abstraction and Synthesis of Parametric Stochastic Processes
Interfaces for Control Components
Quantifying Similarities Between Timed Systems
Embedding Online Runtime Verification for Fault Disambiguation on Robonaut2
Timed-Automata Abstraction of Switched Dynamical Systems Using Control Funnels
ELSE: A New Symbolic State Generator for Timed Automata
Static Analysis for State-Space Reduction of Polygonal Hybrid Systems
Bounded Model Checking for Region Automata
Lazy Reachability Checking for Timed Automata Using Interpolants
Timed Pattern Matching
Diagonal Constraints in Timed Automata: Forward Analysis of Timed Systems
On the Determinization of Timed Systems
Quantitative Analysis of AODV and Its Variants on Dynamic Topologies Using Statistical Model Checking
Trace Relations and Logical Preservation for Markov Automata
A Compositional Translation of Timed Automata with Deadlines to Uppaal Timed Automata
Hybrid Tools for Hybrid Systems - Proving Stability and Safety at Once
Robustness and Implementability of Timed Automata
On Persistency in Time Petri Nets
Using Zone Graph Method for Computing the State Space of a Time Petri Net
Dynamically-Driven Timed Automaton Abstractions for Proving Liveness of Continuous Systems
Performance Evaluation of Schedulers in a Probabilistic Setting
Distributed Algorithms for Time Optimal Reachability Analysis
Max-plus Algebraic Tools for Discrete Event Systems, Static Analysis, and Zero-Sum Games
Assessing the Robustness of Arrival Curves Models for Real-Time Systems
Complexity of Metric Temporal Logics with Counting and the Pnueli Modalities
Expected Reachability-Price Games
Fluid Model Checking of Timed Properties
Composing Web Services in an Open World: Issues of Quality of Service
Incremental Computation of Succinct Abstractions for Hybrid Systems
Some Progress in Satisfiability Checking for Difference Logic
TIMES: A Tool for Schedulability Analysis and Code Generation of Real-Time Systems
Performance Evaluation of an Emergency Call Center: Tropical Polynomial Systems Applied to Timed Petri Nets
Consistent Timed Semantics for Nested Petri Nets with Restricted Urgency
Region-Based Analysis of Hybrid Petri Nets with a Single General One-Shot Transition
On Scheduling Policies for Streams of Structured Jobs
Simulation and Bisimulation for Probabilistic Timed Automata
Conic Abstractions for Hybrid Systems
Verification and Control of Partially Observable Probabilistic Real-Time Systems
Segmented State Space Traversal for Conformance Testing of Cyber-Physical Systems
Incremental Methods for Checking Real-Time Consistency
Deep Reinforcement Learning with Temporal Logics
Interval Abstraction Refinement for Model Checking of Timed-Arc Petri Nets
Probabilistic Real-Time Rewrite Theories and Their Expressive Power
Computing Maximally-Permissive Strategies in Acyclic Timed Automata
Anonymized Reachability of Hybrid Automata Networks
On the Distance Between Timed Automata
Efficient On-the-Fly Algorithms for Partially Observable Timed Games
A Score Function for Optimizing the Cycle-Life of Battery-Powered Embedded Systems
Formal Modeling and Analysis of Timed Systems: Technology Push or Market Pull?
Folk Theorems on the Determinization and Minimization of Timed Automata
Dynamical Properties of Timed Automata Revisited
Predictability of Event Occurrences in Timed Systems
Partial Order Reduction for Verification of Real-Time Components
Combining Formal Verification with Observed System Execution Behavior to Tune System Parameters
Concavely-Priced Timed Automata
Time Supervision of Concurrent Systems Using Symbolic Unfoldings of Time Petri Nets
On Timing Analysis of Combinational Circuits
Average Reward Timed Games
On Subgame Perfect Equilibria in Turn-Based Reachability Timed Games
Region Stability Proofs for Hybrid Systems
Improving Search Order for Reachability Testing in Timed Automata
Average-Price and Reachability-Price Games on Hybrid Automata with Strong Resets
Playing Optimally on Timed Automata with Random Delays
A Symbolic Operational Semantics for TESL - With an Application to Heterogeneous System Testing
MTL with Bounded Variability: Decidability and Complexity
Weighted Branching Systems: Behavioural Equivalence, Behavioural Distance, and Their Logical Characterisations
A Unified Fault-Tolerance Protocol
Composing Stability Proofs for Hybrid Systems
Robust Weighted Timed Automata and Games
Stochastic Temporal Logic Abstractions: Challenges and Opportunities
Formal Modeling and Analysis of Timed Systems - 11th International Conference, FORMATS 2013, Buenos Aires, Argentina, August 29-31, 2013. Proceedings
Monitoring Temporal Properties of Continuous Signals
Undecidability of Universality for Timed Automata with Minimal Resources
Decidability and Expressive Power of Real Time Logics
A Relational Model for Probabilistic Connectors Based on Timed Data Distribution Streams
Statistical Model Checking, Refinement Checking, Optimization, ... for Stochastic Hybrid Systems
Euler's Method Applied to the Control of Switched Systems
Optimal Control for Multi-mode Systems with Discrete Costs
Layered Controller Synthesis for Dynamic Multi-agent Systems
Layered Composition for Timed Automata
Monitoring Timed Properties (Revisited)
On Fixed Points of Strictly Causal Functions
Bounded Determinization of Timed Automata with Silent Transitions
Distance on Timed Words and Applications
Efficient Detection of Zeno Runs in Timed Automata
Timed Automata with Disjoint Activity
Stubborn Set Reduction for Timed Reachability and Safety Games
Let's Be Lazy, We Have Time - Or, Lazy Reachability Analysis for Timed Automata
Reachability Problems on Extended O-Minimal Hybrid Automata
Time-Bounded Verification of CTMCs against Real-Time Specifications
Timed Automata and Timed Languages Challenges and Open Problems
Timed Multiset Rewriting and the Verification of Time-Sensitive Distributed Systems
Formal Verification of an Avionics Sensor Voter Using SCADE
Model-Driven Design-Space Exploration for Software-Intensive Embedded Systems - (Extended Abstract)
Bridging the Gap Between Timed Automata and Bounded Time Petri Nets
Performance Model Checking Scenario-Aware Dataflow
Formal Modeling and Analysis of Timed Systems - 21st International Conference, FORMATS 2023, Antwerp, Belgium, September 19-21, 2023, Proceedings
Robustness of Time Petri Nets under Architectural Constraints
Temporal Logic Verification Using Simulation
Robust Satisfaction of Temporal Logic over Real-Valued Signals
Timed Games with Bounded Window Parity Objectives
Robust Sampling for MITL Specifications
Symbolic Model Checking for Simply-Timed Systems
Optimal Control for Linear-Rate Multi-mode Systems
Exact Incremental Analysis of Timed Automata with an SMT-Solver
Combining Symbolic Representations for Solving Timed Games
On the Semantics of Polychronous Polytimed Specifications
Counterexamples for Timed Probabilistic Reachability
Volume and Entropy of Regular Timed Languages: Analytic Approach
An Interval-Based Algebra for Restricted Event Detection
Robust Event-Driven Interactions in Cooperative Multi-agent Learning
Clairvoyant Monitoring for Signal Temporal Logic
Timing Analysis and Simulation Tools for Real-Time Control
Symmetry Breaking for Multi-criteria Mapping and Scheduling on Multicores
A Framework for Distributing Real-Time Functions
Input/Output Stochastic Automata - Compositionality and Determinism
Efficient on-the-fly Algorithm for Checking Alternating Timed Simulation
Machine-Assisted Parameter Synthesis of the Biphase Mark Protocol Using Event Order Abstraction
Exploiting Timed Automata for Conformance Testing of Power Measurements
On the Supports of Recognizable Timed Series
Formal Modeling and Scheduling of Datapaths of Digital Document Printers
Sandboxing Controllers for Stochastic Cyber-Physical Systems
Symbolic Minimum Expected Time Controller Synthesis for Probabilistic Timed Automata
From MITL to Timed Automata
Timed Abstract Non-interference
Of Elections and Electrons
A Process Algebraic Framework for Modeling Resource Demand and Supply
Concurrent Semantics Without the Notions of State or State Transitions
Statistical Model Checking for Networks of Priced Timed Automata
Non-blind Strategies in Timed Network Congestion Games
Counterexample-Guided Synthesis of Observation Predicates
Finding Best and Worst Case Execution Times of Systems Using Difference-Bound Matrices
Some Recent Results in Metric Temporal Logic
On the Quantitative Semantics of Regular Expressions over Real-Valued Signals
Symbolic Model Checking for Probabilistic Timed Automata
Nested Timed Automata with Frozen Clocks
Safe Over- and Under-Approximation of Reachable Sets for Autonomous Dynamical Systems
On the Susceptibility of QDI Circuits to Transient Faults
On MITL and Alternating Timed Automata
On Construction of Safety Signal Automata for $MITL[\: \mathcal{U}, \: \mathcal{S}]$ Using Temporal Projections
Crossing the Bridge between Similar Games
Model-Checking for Weighted Timed Automata
On Neural Network Equivalence Checking Using SMT Solvers
Distribution-Based Bisimulation for Labelled Markov Processes
Model-Checking Timed
Deciding Concurrent Planar Monotonic Linear Hybrid Systems
Is Timed Branching Bisimilarity an Equivalence Indeed?
Automating the Addition of Fail-Safe Fault-Tolerance: Beyond Fusion-Closed Specifications
AMT: A Property-Based Monitoring Tool for Analog Systems
Comparing the Expressiveness of Timed Automata and Timed Extensions of Petri Nets
Semi-formal Cycle-Accurate Temporal Execution Traces Reconstruction
Formal Modeling and Analysis of Timed Systems - 18th International Conference, FORMATS 2020, Vienna, Austria, September 1-3, 2020, Proceedings
Robustly Complete Finite-State Abstractions for Verification of Stochastic Systems
The Modeling and Analysis of Mixed-Criticality Systems - Extended Abstract
Transience Bounds for Distributed Algorithms
Model Checking the Time to Reach Agreement
An Integer Static Analysis for Better Extrapolation in Uppaal
Formal Modeling and Analysis of Timed Systems - 14th International Conference, FORMATS 2016, Quebec, QC, Canada, August 24-26, 2016, Proceedings
Towards Efficient Partition Refinement for Checking Reachability in Timed Automata
On the Expressiveness of MTL Variants over Dense Time
Automatic Rectangular Refinement of Affine Hybrid Systems
Toward a Timed Theory of Channel Coding
Computation of the Transient in Max-Plus Linear Systems via SMT-Solving
Memory Event Clocks